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

谷歌DeepMind最新数学AI，一举解决了2000-2024年IMO竞赛中84%的几何问题。 AlphaGeometry2论文发布，在总共50道题中完成了42道，相比去年的一代多完成了15道。 作为对比，纯语言模型OpenAI o1和Gemini Flash Thinking一道都解决不了。 Nature发文评价：DeepMind AI粉碎了数学难题，达到金牌得主水平，与顶级人类选手相当。 就比 ...