英国DeepMind的研究团队开发了一个名为“阿尔法几何”（G0）的AI系统，能解国际数学奥林匹克竞赛级别的几何题，该研究证明了AI已接近人类破解复杂逻辑问题的最高水平。相关研究成果于2024年1月17日发表在《自然》期刊上。

G0综合了复杂程度各异的数百万条定理和证明，并利用一个神经语言模型完成自我训练。这种方法结合符号演绎引擎（能搜索难题中的大量分支点），能让G0在无需人类直接输入的情况下学习并解开复杂问题。

研究团队用国际数学奥林匹克竞赛2000年至2020年间的30个问题测试了该系统。G0解出了其中25题，接近国际数学奥林匹克竞赛金牌选手的平均水平。此外，G0能生成人类可阅读的证明，甚至发现了2004年国际数学奥林匹克竞赛定理的一个新版本。

研究人员指出，G0目前仅限于证明几何学定理，但这种方法或许能应用于其他数学领域。

信息来源：

https://www.nature.com/articles/s41586-023-06747-5

http://digitalpaper.stdaily.com/http_www.kjrb.com/kjrb/html/2024-01/18/content_565788.htm?div=-1

https://mp.weixin.qq.com/s/38rNiYjos-fduHhGGfcuzQ