转推 Dan Roberts：我们宣布在数学、计算机科学和物理学领域取得三项新发现，涉及调和分析、复杂性理论和……
OpenAI 称其内部模型取得了三项成果：全维度的局部光滑猜想证明（同时解决 Kakeya 猜想与 Stein 限制猜想）、经 Lean 验证的指数时间假设（ETH）反证，以及 Yang-Mills 理论与量子色动力学的严格存在性证明。这些成果已用 Lean 形式化，并交给外部专家组（包括由诺贝尔奖得主 David Gross 牵头的物理组）检验与阐释。如果成果经得起检验，它们将解决数十年未解的公开问题（包括千禧年大奖难题的一部分），并标志着 AI 从辅助者变为前沿数学与物理的生产者。
报道来源
- OpenAI2026-10-26 21:36