DeepMind持续改进人工智能的数学能力，数学推理模型AlphaGeometry2在解决国际数学奥林匹亚（IMO）几何题目上的表现，已正式超越金牌选手的平均水准。研究团队测试了2000至2024年间所有IMO几何题，AlphaGeometry2以8 ...

AlphaGeometry2构造的辅助线用红色表示，E是BI延长线上的点 ，使得∠AEB=90°，通过E点进一步得到了几对相似三角形，最终完成证明。

梦晨 发自 凹非寺量子位 | 公众号 QbitAI 谷歌DeepMind最新数学AI，一举解决了2000-2024年IMO竞赛中84%的几何问题。 AlphaGeometry2论文发布，在总共50道题中完成了42道，相比去年的一代多完成了15道。