OpenAI 用 GPT 证明 10 道数学难题
推荐指数 63.0 NO. 012 · 2026.08.02
发布2026/08/01Score363Comments244
为什么值得看
OpenAI 宣布为 10 万名科研人员免费提供 ChatGPT 模型，并公布其未发布模型在评估过程中解决的 10 个数学与理论计算机科学开放问题，包括此前已披露的 Erdős 单位距离猜想反例。这意味着 AI 正从辅助工具转向能独立产生原创数学发现的参与者，基础科学研究范式可能被改写。
编辑判断
OpenAI 选择此时高调发布学术计划，与 Anthropic 的 Claude Research、Google 的 AlphaProof 形成正面交锋，本质是在争夺「AI 科研基础设施」的定义权。10 道题目的筛选标准很讲究——都是停滞十年以上的问题，既规避了与顶尖人类数学家的直接竞争，又足够吸引眼球。
真正值得警惕的是「未发布模型」这个表述。OpenAI 正在用学术成果为下一代模型造势，这和当年 AlphaGo 的论文策略如出一辙。做 AI for Math 方向的团队需要重新评估：如果 OpenAI 把最强模型免费给数学家，你的付费工具差异化在哪？
对普通 AI 工程师的 actionable 建议：关注这些证明的「可验证性」细节。数学界对 AI 证明的接受瓶颈不在正确性，而在人类可理解的解释链。谁能把黑箱推理转化为人类数学家能跟上的证明步骤，谁就能拿到下一波红利。
社区反馈
意见分歧 206 条评论
核心争论：AI数学发现是范式革命还是威胁数学家职业生态
I don’t feel the existential dread of mathematicians is correct. It seems to me in fact these results are bringing math mainstream. I now personally look forward to the interpretations and discussions of the significance of such results by human mathematicians. Now I understand that it’s mostly the
Given that we were nowhere near this state even two years ago, I think it’s a question of velocity more so than just distance.
Every time someone makes a comparison to chess I die inside. Chess is a spectator sport primarily funded by a few eccentric billionaires. Players artificially constrain themselves in timed environments knowing that they will never be able to produce better moves than a smartphone because a select fe