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

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

欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南，每天我们为你呈现AI领域的热点内容，聚焦开发者，助你洞悉技术趋势、了解创新AI产品应用。新鲜AI产品点击了解:https://top.aibase.com/1、割韭菜?博主卖Deepsee ...

2 月 8 日消息，谷歌旗下人工智能研究实验室 DeepMind 开发的人工智能系统 AlphaGeometry2 在解决国际数学奥林匹克竞赛（IMO）几何问题方面取得了突破性进展，其表现甚至超过了平均金牌得主。 AlphaGeometry2 是 ...

刚刚，OpenAI再度紧急出手，在发布会直播全新的「Deep Research」功能。基于o3的推理再加上联网搜索，ChatGPT如今可以完成耗费人类专家数小时的复杂研究了！现在，模型已经刷爆「人类最后考试」榜单。

和其他研究员一样，翻看Peiyi Wang的推特，他也一直在和社区交流自己的研究，而在DeepSeek被更多人关注到后，他第一时间分享的是好奇心。把真实情况分享给社区的开源精神明显。这种分享在今天越来越不说人话创造大词的AI圈里，能带来十分难得的接地气的讨论。