为什么AI无法终结数学

Not a ToE · Oct 28, 2026 · 20m

2026 年 10 月 26 日，OpenAI 公告了由内部模型生成的三项候选结果：欧几里得波动方程局部平滑猜想的证明（由此解决挂谷猜想与斯坦因限制猜想）、否定指数时间假说的确定性亚指数算法，以及四维纯杨-米尔斯理论的构造性存在证明。这些结果不同程度地附有 Lean 形式化文件，目前仍在接受独立审验。本期围绕文章《两度显现的不完备性》展开：这一事件以互为镜像的方式两度显现了哥德尔不完备性。在直接意义上，形式化依然把进一步的真命题与自身一致性留在开放之处；在否定意义上，发布与接收把只能暂时封闭持守之物，当作已被永久封闭持守来对待。无论这些结果最终是否成立，这一剖析都不受影响。

本期为 AI 生成的音频概览，由 Google NotebookLM 根据原文制作。

阅读原文：https://powerpig99.github.io/not-a-toe/posts/incompleteness-exhibited-twice/