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

谷歌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合成数据训练，延续了AlphaZero自学围棋的方式。 大模型结合其他AI方法，与AlphaGo ...