简评DeepMind新作“AlphaGeometry”

图片由董彬老师用DALL-E生成文 | 高国雄、姜杰东、董彬八年前，横空出世的AlphaGo横扫围棋赛场，点燃了人工智能的热潮，也从根本上改变了围棋领域。近日，谷歌Deepmind团队一篇瞄准国际奥林匹克竞赛（IMO）几何题目的论文“AlphaGeometry”[文献1]再度一石激起千层浪。国内外对此已有铺天盖地的报道与讨论，诸如“解决前沿数学问题指日可待”“奥赛金牌近在咫尺”等评价将大众对人工智能解数学题的期许推上了新的高峰。本文将深度解读AlphaGeometry，简要分析其与之前最好的基准模型的差距，并对该模型的发展前景给予评述。1模型概述图1欧氏几何题目因其规范的叙述和标准化的解题流程，是各类国内国际数学竞赛的“常客”。平面几何相比其他数学领域所具有的封闭性、简洁性、可验证性，也让它更适合机器证明。上世纪七十年代，吴文俊院士 ………………………………