AI 数学突破的机制与边界分析

事件综述根据 1 篇报道整理，10月24日更新

Latent Space 的一篇机制分析梳理了 OpenAI 内部模型在数学上的进展：5 月找到 Erdős 单位距离猜想的反例，随后发表 Cycle Double Cover 问题证明，7 月再解十个开放问题，9 月给出 Navier-Stokes 证明；Anthropic 则对费马大定理做了形式化，并改进了黎曼猜想的界。 文章用提示序列与分支因子解释模型能力的边界，试图回答模型能解哪类数学问题。上述成果均出自该文叙述，报道未给出可独立核验的证据细节。

综述由模型根据报道生成，细节以各篇原文为准。