OpenAI 宣称在数学猜想、计算复杂性与千禧年物理难题上取得突破

从辅助计算走向自主推演，OpenAI 称其模型给出了局部光滑猜想在任意维度的证明、推翻了指数时间假设，并触及杨–米尔斯理论的数学存在性。相关数学成果附带了辅助偏微分方程构造与 Lean 形式化代码，已公开交付同行审视。当模型尝试向基础理论腹地求解，学术界最先给出的回应当是严谨的独立复核。