OpenAI 万级智能体 88 小时证明 Navier-Stokes 有限时间爆破，essay 探讨无人能读的证明意味着什么

2026 年 9 月 8 日，OpenAI 宣布由一万个智能体在 88 小时内产出一篇 166 页的三维 Navier-Stokes 方程有限时间爆破证明，并经 61.6 万行 Lean 代码形式化验证，截至 9 月 20 日尚无人类完整阅读全文。这篇 essay 追问：数学史上每个定理都可被跟随论证的人理解，而一份无人能读的证明被接受后，数学共同体的权威结构将如何改变。作者借霍布斯的 Leviathan 与潘诺夫斯基的『倒置中世纪』概念，讨论从『被证明』到『被认证』的距离，并提出以可读性、披露与责任为条件的『契约』方案替代抵制或顺从。