OpenAI 模型攻克十年未解数学难题

OpenAI 选择在这个时间点密集发布数学成果，是在为 GPT-5 或下一代推理模型做学术背书，试图复制 AlphaFold 在生物学领域的信任积累。但需要注意一个细节：这些结果目前都停留在预印本或博客阶段，尚未经过传统数学界的严格同行评审，Erdős 反例此前已引发过方法论争议。

对 AI 工程师的实际信号是，形式化数学和自动定理证明正在成为大模型能力的新竞技场，Lean、Coq 这些证明辅助工具与 LLM 的结合值得提前布局。如果你在做科研工具或教育方向，OpenAI 的 10 万免费名额计划可能会直接冲击你的用户获取策略。