数学界AlphaGo来了！攻破奥数难题登Nature，接近人类金牌水平

AIGC动态欢迎阅读

原标题：数学界AlphaGo来了！攻破奥数难题登Nature，接近人类金牌水平
关键字：几何,奥林匹克,问题,模型,得主
文章来源：智东西
内容字数：6867字

内容摘要：

谷歌两大AI数学模型，奥数金牌得主亲自点赞。
作者|李水青
编辑|心缘
智东西1月18日报道，1月17日，谷歌研发的AI数学模型AlphaGeometry登上国际顶刊Nature。AlphaGeometry能解决几何问题，解题水平接近人类奥林匹克金牌得主，有望成为AI迈向通用人工智能的一个重要里程碑。
在针对30道奥数几何题的基准测试中，AlphaGeometry在规定的奥数解题时间内成功解决了25道题。相比之下，此前最先进的机器系统仅解决了其中10道题，而人类金牌得主的平均解题数量为25.9道。
AlphaGeometry采用神经语言模型的预测能力与规则约束推演引擎相结合的方法，就像人类的慢思考+慢思考，两者协同找到问题解法。
谷歌还合成了包含1亿个独特的几何问题示例的数据集，支持AlphaGeometry在没有任何人类演示的情况下自行训练，也就是自己“刷题提分”。
“对他们能够成功应用AI解决问题感到惊讶，这确实是一项令人印象深刻的成就。”数学领域的国际最高奖项之一菲尔兹奖金牌得主NGÔ BẢO CHÂU如此评价道。
他指出，研究人员往往首先尝试用AI解决IMO（国际数学奥林匹

原文链接：数学界AlphaGo来了！攻破奥数难题登Nature，接近人类金牌水平