AlphaProof 是 Google DeepMind 开发的、基于强化学习的数学定理证明系统，近期因成功攻克两个悬置 56 年的 Erdős 难题而引发关注。这一进展将 AI 在数学推理领域的能力推升至新高度，但同时也触发了关于 AI 是否真正理解数学、以及与传统科学方法关系的讨论。
当前焦点：AlphaProof 的成功被部分人视为 AI 在数学研究中的里程碑，证明强化学习驱动的符号推理系统能自主产生严谨的数学知识；但也有人（如 Sutton）认为，这类系统本质上仍是复杂的模式组合，没有建立“理解”或“洞察”。未来观察点在于：这类方法能否拓展至更广泛的数学领域，以及是否能与传统数学家合作，真正辅助人类发现新概念。