AI数学狂飙引发数学界震动：OpenAI一口气发布 722 份难题证明，人类学者陷入验证焦虑

2026.10.09 · 事件 · AI 事件 · 媒体报道

AI 批量产出可机器验证的证明，但人类难以读懂，验证负担反压学者。

OpenAI 一次性公开 722 份数学难题证明手稿，横跨 17 个数学领域，整体解题成本远低于以往。这些证明虽能通过机器严格验证，却难以转化为人类易懂的知识，还出现单个符号错误导致多篇结论集体失效的情况。数学家担忧梳理验证工作全压到人类肩上，且 AI 难孕育新思想新工具。