AlphaGeometry2是DeepMind去年1月发布的AlphaGeometry系统的升级版。在最近发表的一项研究中，AlphaGeometry2能够解决过去25年IMO中84%的几何问题，而OpenAI的o1推理模型一道题都答不上来。IMO是 ...

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

在传统解法中，人类参赛者通常会借助三角函数、复数或其他计算方法来求解。而对于AlphaGeometry而言，其DDAR系统仅依靠基本的角度关系推导和比例关系推导，因此需要引入一些辅助点的构造。