AI 征服数学

数学长期以来一直是 AI 难以攻克的堡垒。虽然大语言模型在算术幻觉中挣扎，但 AlphaGeometry 取得了突破，在标准时限内解决了 30 道奥数几何题中的 25 道——这与 IMO 金牌得主的表现相当。

神经符号方法 (Neuro-Symbolic Approach)

AlphaGeometry 的独特之处在于它结合了两个不同的系统：

1. 神经语言模型：快速、直觉的“快思考”。它建议辅助构造（如添加辅助线或点）。
2. 符号演绎引擎：逻辑、严谨的“慢思考”。它根据建议的构造证明定理。

为什么这很重要

这种混合方法反映了人类的推理过程：直觉引导我们找到潜在的解决路径，逻辑验证它。

"这不仅仅是关于解决数学问题；这是关于构建能够进行可靠推理的 AI。"

这项研究发表在 《Nature》 上，为能够处理需要严格逻辑一致性任务（如代码验证和硬件设计）的 AI 系统铺平了道路。