中华网 china.com

新闻

AI水平超过数学奥赛金牌得主 几何推理新突破

小 大

用微信扫描二维码
分享至好友和朋友圈

关键词：
2025-02-08 15:27:44  华尔街见闻

AI水平超过数学奥赛金牌得主。谷歌昨日宣布，其子公司DeepMind开发的最新AI系统AlphaGeometry2在国际数学奥林匹克竞赛(IMO)的大规模几何题目测试中，首次超越了人类金牌得主的水平。研究团队从2000年至2024年的IMO竞赛中精选了45道几何题目，并转化为50道标准题目。测试结果显示，AlphaGeometry2成功解答了其中的42道题目，超过了金牌得主平均40.9分的成绩。

这一突破意义深远，因为解决具有挑战性的几何问题所需的推理能力和策略选择能力是构建下一代通用人工智能的关键要素。网友对此表示高度赞赏，称其“接近完美”。

DeepMind对高中数学竞赛的重视源于一个深层洞察：解决欧几里得几何问题的能力可能是构建更强大AI系统的关键。证明数学定理需要同时具备推理能力和在多个可能步骤中做出选择的能力，这些技能将成为未来通用AI模型的重要组成部分。事实上，在2024年夏天的一次演示中，DeepMind将AlphaGeometry2与数学形式推理AI模型AlphaProof结合，成功解决了当年IMO竞赛6道题目中的4道。

技术架构方面，AlphaGeometry2采用了一种混合方案，结合了谷歌Gemini系列的语言模型和专门的符号运算引擎。解题过程中，Gemini模型负责预测解题可能需要的几何构造，而符号引擎则基于严格的数学规则进行推导。两个模块通过并行搜索算法协同工作，将发现的有用信息存储在共享知识库中。当系统能够将Gemini模型的建议与符号引擎的已知原理结合，得出完整证明时，即认为完成了问题求解。

为克服几何训练数据匮乏的问题，研究团队自主生成了超过3亿个不同复杂度的定理和证明用于训练。这种大规模的合成数据训练方法为AI在特定领域实现突破提供了新的范例。尽管如此，AlphaGeometry2仍存在明显局限，无法处理包含可变点数、非线性方程和不等式的问题。在更具挑战性的29道IMO候选题中，系统仅能解决20道。

关闭

方大同从没放弃治疗！新专辑制作人晒聊天记录称他去世前一周，仍在接受治疗 音乐至生命最后一刻

方大同从没放弃治疗,新专辑制作人晒聊天记录称他去世前一周,仍在接受治疗2025-03-04 12:09:04

加拿大拟对美商品征收25%关税 反击措施已备

加拿大拟对美商品征收25%关税2025-03-04 12:07:29

超三成体检人群面临听力损失 耳机使用需谨慎

超三成体检人群面临听力损失2025-03-04 12:07:06

俄罗斯回应日本制裁 对等反制措施出台

俄罗斯回应日本制裁2025-03-04 11:28:48

克宫回应美乌总统争吵：普京已知悉这一“前所未有的事件” 全球公众关注白宫风波

克宫回应美乌总统争吵,普京已知悉这一前所未有的事件2025-03-04 11:15:32

雷军：建议优化新能源汽车号牌设计 提升外观兼容性与智能化

雷军,建议优化新能源汽车号牌设计2025-03-04 11:59:33

加拿大拟对美商品征收25%关税 反击措施已备

加拿大拟对美商品征收25%关税2025-03-04 12:07:29

台积电计划在美追加1000亿美元投资 扩产芯片制造产能 加速全球半导体格局重塑

台积电计划在美追加1000亿美元投资扩产芯片制造产能2025-03-04 11:42:01

我国取得量子计算机领域新突破 祖冲之三号超越谷歌成果

我国取得量子计算机领域新突破2025-03-04 11:59:52

超三成体检人群面临听力损失 耳机使用需谨慎

超三成体检人群面临听力损失2025-03-04 12:07:06

泽连斯基：要换掉我不容易的 所以必须与我谈判 美乌关系面临考验

泽连斯基,要换掉我不容易的所以必须与我谈判2025-03-04 10:42:04

特朗普泽连斯基矛盾再度升级 白宫争吵后局势恶化

特朗普泽连斯基矛盾再度升级2025-03-04 10:40:36

台积电拟在美追加投资1000亿美元 扩大半导体制造布局

台积电拟在美追加投资1000亿美元2025-03-04 11:57:54

美国向我国返还41件文物艺术品 珍贵文物回家

美国向我国返还41件文物艺术品2025-03-04 12:00:48

牛弹琴：特朗普对欧发出最轻蔑一问

牛弹琴：特朗普对欧发出最轻蔑一问2025-03-04 10:54:22

卡迪西亚力压胜利排沙特联第3 升班马表现抢眼

卡迪西亚力压胜利排沙特联第32025-03-04 11:52:54

3月开门黑！华尔街彻底慌了：年内得降三次息？股市抛售狂潮来袭

3月开门黑,华尔街彻底慌了,年内得降三次息2025-03-04 12:03:56

特朗普和泽连斯基 谁是真正的“胆小鬼”？ 外交博弈的极限挑战

特朗普和泽连斯基谁是真正的胆小鬼2025-03-04 11:40:36

美国一参议员呼吁泽连斯基辞职 泽连斯基强硬回应

美国一参议员呼吁泽连斯基辞职2025-03-04 10:28:52

泽连斯基说乌克兰需要和平 安全保障是关键

泽连斯基说乌克兰需要和平2025-03-04 10:40:52

比特币再跌8%！特朗普储备承诺也难抵消市场悲观情绪 宏观因素主导下跌

比特币再跌8%,特朗普储备承诺也难抵消市场悲观情绪2025-03-04 10:42:23

伊朗总统支持与美对话遭哈梅内伊反对 “那就不谈” 最高领袖定方向

伊朗总统支持与美对话遭哈梅内伊反对那就不谈2025-03-04 11:41:40

医生建议睡觉时别戴耳机 保护听力健康

医生建议睡觉时别戴耳机2025-03-04 12:00:25

代表谈如何看待大学广泛开设AI课 推动审慎探索与应用

代表谈如何看待大学广泛开设AI课2025-03-04 11:54:17

雷军回应双Ultra海外首秀 展现湖北创新力

雷军回应双Ultra海外首秀2025-03-04 12:05:58

仅剩8天，弹劾案奏响终曲，尹锡悦摇摇欲坠 结局即将揭晓

仅剩8天,弹劾案奏响终曲,尹锡悦摇摇欲坠2025-03-04 10:28:34

读懂中国扩大高水平对外开放的决心 RCEP成效显著

读懂中国扩大高水平对外开放的决心2025-03-04 11:56:04

贝索斯发火箭把未婚妻送上太空 全女性团队创举引发热议

贝索斯发火箭把未婚妻送上太空2025-03-04 10:30:17

中国运动员“终身保单”：最高月领6000元，樊振东等成首批受益人 社会力量助力体育保障

中国运动员终身保单,最高月领6000元,樊振东等成首批受益人2025-03-04 12:04:14

白宫称除非泽连斯基当众道歉否则免谈 拒绝道歉推动对话

白宫称除非泽连斯基当众道歉否则免谈2025-03-04 11:28:15

日民间团体要求政府彻查驻日美军基地，追责有机氟污染问题

日民间团体要求政府彻查驻日美军基地2025-03-04 10:50:59

美国欲全面禁止对华出口AI芯片：英伟达股价狂跌 一夜蒸发1.9万亿元

美国欲全面禁止对华出口AI芯片,英伟达股价狂跌一夜蒸发1,9万亿元2025-03-04 11:40:20

方大同从没放弃治疗！新专辑制作人晒聊天记录称他去世前一周，仍在接受治疗 音乐至生命最后一刻

方大同从没放弃治疗,新专辑制作人晒聊天记录称他去世前一周,仍在接受治疗2025-03-04 12:09:04

三国脚级外援加盟长春女足 非洲强援助力新赛季

三国脚级外援加盟长春女足2025-03-04 11:54:48

小米15系列磁吸外接摄像头解析 重新定义手机摄影边界

小米15系列磁吸外接摄像头解析2025-03-04 12:04:37

相关新闻

主编邮箱
网上不良信息举报电话：010-56177181
关于中华网 | 广告服务 | 联系我们 | 招聘信息 | 版权声明 | 豁免条款 | 友情链接 | 中华网动态
版权所有 中华网