OpenAI宣布AI拿下三项科学突破，从答题者变成证明者

OpenAI日前宣布，其AI模型在数学、计算机科学和物理学领域取得三项重大突破。关键不在于分数多高，而在于性质变了——AI不再是回答问题或辅助研究，而是独立发现并证明了复杂的科学理论。

数学这边动静最大。AI证明了适用于所有维度的局部平滑猜想，也就是研究波浪这类现象中能量集中能持续多久的问题，并由此连带解决了Kakeya猜想（一根针在有限空间内转向所有方向最少需要多大空间）和Stein限制猜想。这几个猜想彼此咬合，此前都是数学界悬置多年的硬骨头。计算机科学领域的突破更具颠覆性：AI推翻了长期被广泛接受的指数时间假设——如果这个假设不成立，意味着某些被认为计算量必然随规模急剧增长的问题，未来可能存在快得多的算法。

物理学的成果还在路上，涉及量子色动力学和杨–米尔斯理论的严格数学存在性证明，后者是世界七大千禧年数学难题之一。OpenAI表示，数学和计算机科学成果已经用Lean数学验证工具完成了形式化验证并公开证明材料；物理部分正由诺贝尔物理学奖得主在内的专家参与审查，仍需学术界进一步独立确认。

这套流程值得注意：先出结果，再机器形式化验证，再人类专家把关。AI负责想，Lean负责查，人类负责审，一条新的科研分工链清晰可见。等学术界的独立确认陆续落地，数学乃至基础物理的研究范式，可能真的要重排一遍。