越南科学家借助 AlphaGeometry 将 AI 数学模型推向奥林匹克水平

在一项挑战人工智能传统能力的重大突破中，三位越南科学家 Trinh Hoang Trieu、Luong Minh Thang 和 Le Viet Quoc 通过构建名为 AlphaGeometry 的 AI 数学模型取得了里程碑式的成就。与专家团队合作，这三位在 Google DeepMind 工作的 AI 专家创建了一个系统，该系统不仅在解决国际数学奥林匹克竞赛（IMO）问题时能与人类铜牌得主相媲美，甚至超越了他们。AlphaGeometry 的优势在于其独特的训练和解决问题方法，标志着 AI 辅助数学领域的重大飞跃。

奥林匹克水平的 AI 数学模型

AI 模型 AlphaGeometry 的核心展示了其卓越的能力，成功解决了 2000 年至 2022 年 IMO 使用的 30 道几何问题中的 25 道。与 1970 年代的一个著名系统相比，这一成就尤为值得注意，该系统被认为是当时最强的几何定理证明器，仅解决了 10 个问题。这一成功使 AlphaGeometry 独树一帜，超过了 IMO 金牌得主通常解决 25.9 道题的平均水平。Trieu、Thang 和 Quoc 对这前所未有的成就表示惊叹，并强调数学问题的复杂性，这些问题往往涉及数百个步骤。

AlphaGeometry 的独特之处在于其结合了神经语言模型和符号引擎，并经过精心校准以解决几何问题。其与众不同之处在于它依赖的合成数据，这些数据不含人类示例，使模型能够“无中生有”地生成高质量响应。这使得 AlphaGeometry 不同于 ChatGPT 或 Gemini 等其他 AI 模型，后者主要寻找现有或类似的人类解决方案。芝加哥大学数学系教授 Ngo Bao Chau 承认，解决 IMO 几何问题类似于下棋，并赞扬了 AI 研究人员取得的令人钦佩的成就。

AlphaGeometry 的诞生之旅

AlphaGeometry 的起源可以追溯到 2019 年，当时 Trinh Hoang Trieu 在纽约大学寻找毕业研究课题时构思了这一想法。Trieu 曾是胡志明市科技大学的学生，他设想了一个能够解决简单几何问题的模型。Trieu 的想法引起了 Le Viet Quoc 和 Luong Minh Thang（前数学专业学生）的兴趣，他们加入了这一项目。Trieu 于 2021 年加入 Google DeepMind，团队致力于 AlphaGeometry 的开发，并在解决一道 IMO 几何问题后的三个月内取得了突破。

团队将 AlphaGeometry 视为不仅仅是一个数学奇迹。Trieu 建议将其用作支持高中生解决几何问题的指导系统，标志着 AI 辅助教育的一大步。2014 年 IMO 金牌得主、麻省理工学院研究员 Evan Chen 对 AlphaGeometry 的能力表示惊讶，强调其依赖于纯粹的几何原理，这使其区别于使用坐标和代数的传统方法。

AlphaGeometry 在 AI 辅助数学领域的开创性旅程

随着 AlphaGeometry 以其无与伦比的能力成为焦点，人们不禁要问：AI 辅助数学领域未来还有哪些可能性？研究人员预计，鉴于其有潜力协助解决七大千禧年大奖难题，AlphaGeometry 将在各个领域得到持续开发和应用。他们的工作发表在著名期刊《自然》（Nature）上，让 Le Viet Quoc 感到自豪，突显了 AI 不仅能解决数学问题，还能推动人类进步。AlphaGeometry 的独特方法能否为 AI 辅助数学的新时代铺平道路？

在一个 人工智能 边界不断扩展的世界里，越南科学家创造的 AlphaGeometry 证明了当人类创造力与尖端技术融合时，可能性是无限的。