谷歌AI系统解决几何问题 水平接近奥数冠军

2024-01-23 04:01    来源:每日看点快看

本文转自:闽北日报

据新华社北京1月22日电 谷歌旗下人工智能公司“深层思维”近日发布公报称,该公司与美国纽约大学的研究人员合作开发的一种名为AlphaGeometry的人工智能(AI)系统,可以解决复杂的几何问题,其水平接近国际数学奥林匹克竞赛金牌得主,这是人工智能在性能上的突破。

证明数学定理是一项具有挑战性的工作,因此国际数学奥林匹克竞赛通常被认为是识别相关人才的方法,同时也是AI在数学和推理领域的试验场。公报说,AI系统往往难以解决几何和数学中的复杂问题,而该研究团队开发的一种方法可生成大量的合成训练数据(1亿个独特的示例),能让AlphaGeometry在没有任何人工演示的情况下进行自我训练。此外,研究团队还添加了一个基于形式逻辑的符号推演引擎,能让系统做出更“深思熟虑”的决策。

测试结果显示,在2000年到2022年国际数学奥林匹克竞赛汇编的30个几何问题中,AlphaGeometry在比赛时间内解决了25个问题,而通常的人类金牌得主能解决25.9个。相比之下,此前最先进的AI系统只解决了其中的10个。



湿冷“魔法攻击”上线!南方遭今冬来最强雨雪 这份防抖指南请收好
科技

湿冷“魔法攻击”上线!南方遭今冬来最强雨雪 这份防抖指南请收好

本文转自:中国天气网 中国天气网讯 眼下,2024年首场寒潮天气正在影响我国,南方多地遭遇今冬来强度最强、范围最广的雨雪天气。今天(1月22日)早晨,最低气温0℃线已南压至贵州南部至江西北部一线,低温叠加雨雪,南方人熟悉的湿冷“魔法攻击”上线了,网友纷纷吐槽“南方的雨雪天冷到刺骨”。湿冷到底是一种怎 [详情]

周鸿祎称不能套用过去的模式看人工智能 大模型不是OS
科技

周鸿祎称不能套用过去的模式看人工智能 大模型不是OS

【CNMO新闻】在2023年1月21日的猎户星空大模型发布会上,360集团创始人周鸿祎分享了他对大模型应用前景的看法。他预测,2024年大模型应用将迎来巨大的机会,而企业级应用将成为其突破口。 周鸿祎强调,大模型与已有业务场景的结合将带来巨大的机会。随着技术的发展,越来越 [详情]

“听见”两会丨海南省政协委员何逸舟:建议搭建文旅服务区块链评价系统 助推海南文旅服务实现高质量发展
科技

“听见”两会丨海南省政协委员何逸舟:建议搭建文旅服务区块链评价系统 助推海南文旅服务实现高质量发展

点击查看更多视频 新海南客户端、南海网1月22日消息(记者 王燕珍)如何提升海南文旅服务水平和服务质量,助推海南文旅服务实现高质量发展?参加海南省政协八届二次会议的省政协委员何逸舟建议可搭建一个以区块链作为底层技术的评价系统,推动海南文旅服务生态的评价、反馈机制升级。  [详情]

雍禾医疗携手国内三甲医院展开合作 雍禾植发助力行业健康发展
科技

雍禾医疗携手国内三甲医院展开合作 雍禾植发助力行业健康发展

根据《都市人群毛发健康消费白皮书》调研显示,国内毛发医疗服务行业市场规模从2021年至2030年将以21.8%的复合年均增长率(CAGR)增长,2030年将达到1381亿元。市场前景广阔的同时,消费需求也在升级迭代。 此前,北京大学人民医院与雍禾医疗共建“北京大学人民医院X雍禾医疗毛发联合实验室”( [详情]

杭州3年引进731家首店,近半已销声匿迹
科技

杭州3年引进731家首店,近半已销声匿迹

都市快报讯 刚过去的2023杭州写字楼商业市场表现出了弱复苏状态。 近日,戴德梁行发布相关数据,并对杭州2023年整年度的零售商业市场及写字楼市场进行多维度的解读,并对2024年的发展趋势进行展望和预测。 “当下消费市场真正发生的既不是单纯的升级,也不是简单的降级,而是分层。顺应消费分层这一主流趋势 [详情]