谷歌旗下的DeepMind宣布推出了AI数学模型AlphaGeometry，该模型能够以接近人类金牌得主水平解决奥林匹克几何问题，并且相关论文已经发表在国际顶尖期刊《自然》（Nature）上。为了训练这个模型，研究团队生成了1亿个合成定理及其解决方案，覆盖了各种复杂程度的问题。AlphaGeometry完全基于这些数据进行了从头训练。在针对30道奥数几何题的基准测试中，AlphaGeometry在规定的奥数解题时间内成功解决了25道题。相比之下，此前最先进的机器系统仅解决了其中10道题，而人类金牌得主的平均解题数量为25.9道。
论文地址：nature.com/articles/s41586-023-06747-5