谷歌数学AI登Nature：IMO金牌几何水平，定理证明超越1978年吴文俊法

AIGC动态欢迎阅读

原标题：谷歌数学AI登Nature：IMO金牌几何水平，定理证明超越1978年吴文俊法
关键字：几何,人类,模型,定理,系统
文章来源：量子位
内容字数：4533字

内容摘要：

梦晨发自凹非寺量子位 | 公众号 QbitAI谷歌DeepMind再发Nature，Alpha系列AI重磅回归，数学水平突飞猛进。
AlphaGeometry，无需人类演示达到IMO金牌选手的几何水平。
有当年AlphaZero无需人类知识学围棋《Mastering the game of Go without human knowledge》的感觉了。
具体来说，30道IMO难度的几何定理证明题，AlphaGeometry做对25道，人类金牌选手平均25.9道，之前SOTA方法（1978年的吴文俊法）做对10道。
IMO金牌得主陈谊廷（Evan Chen）负责评估AI生成的答案，他评价到：
AlphaGeometry的输出令人印象深刻，既可验证又干净。过去的人工智能解决方案偶然性很大，输出有时是正确的，需要人工检查。
AlphaGeometry没有这个弱点，它的解决方案具有机器可验证的结构，并且是人类可读的……它像学生一样使用带有角度和相似三角形的经典几何规则。
除成绩亮眼之外，这项研究中还有三个重点引起业界关注：
无需人类演示，也就是只用了AI合成数据训练，延续了AlphaZe

原文链接：谷歌数学AI登Nature：IMO金牌几何水平，定理证明超越1978年吴文俊法