一年前，由谷歌 DeepMind 创建的 AI 数学模型 AlphaGeometry 在国际数学奥林匹克竞赛（IMO，International Mathematical Olympiad）中展现出比肩真人银牌得主的水平。近日，DeepMind ...

近日，DeepMind 正式推出 AlphaGeometry2， 它在 IMO 中达到真人金牌得主的水平，并能解决 21 世纪以来 25 届 IMO 全部几何问题的 84%。 而 AlphaGeometry1 仅能解决 54% 的问题，这意味着 ...

符号引擎推理是AlphaGeometry的核心组件，称为DDAR（Deductive Database Arithmetic Reasoning，演绎数据库算术推理）。

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

萨姆·奥尔特曼最近宣称，OpenAI已经知道如何构建通用人工智能（AGI），这再次引发了有关AI未来的辩论。虽然这些主张频频登上媒体头条，但作为一名研究人脑工作原理超过十年的神经科学家，我发现自己关注的是一个不同的悖论：对现代AI系统最常见的批评之一 ...