OpenAI 公开数百道未解数学题证明，ChatGPT 智体能向普通人讲明白

DeryaTR_ · x · 2026-10-10

OpenAI 发布了对数百道此前未解决数学问题的解答，部分数学家担忧：没有数学家参与，没人能理解或验证这些证明。作者 DeryaTR 反其道行之，让 ChatGPT dot 智能体挑一个有可机器验证证明的结果——Seymour 第二邻域定理——向无数学背景的人讲解问题、解法含义及如何检验正确性，并生成四张解释图。

过程中它请 GPT-6 Pro 做批判性审读；全部 43 份原始证明文件均通过 Lean 形式化验证，审计未发现漏洞或超出标准基础的额外假设。作者称同样流程可覆盖其余全部解答，约一天即可完成——AI 既制造了「无人能验证」的焦虑，也可能正是让所有人都能理解的工具。