OpenAI 昨晚说，自家模型在数学、计算机和物理上各踩了一脚油门。
数学是把局部光滑猜想的证明推到所有维度，挂谷猜想跟着一并解决。计算机那边更狠，直接给出指数时间假设不成立的证明。物理上是量子色动力学和杨–米尔斯理论的存在性。
听上去像天书，其实标准很清楚：一份证明摊在桌上，能不能被验。
数学和计算机这两份，10 月 18 日和 16 日生成，隔天就用 Lean 做完形式化验证，也放上了公开的 GitHub。物理那份还在诺奖得主组成的小组手里审。报道里那句"仍需学术界进一步独立确认"，我觉得才是重点。
过去一年吵的是 AI 能不能做出成果。现在这个问题变了：成果出来了，谁来判卷？
Lean 能判形式，但一个证明值不值得写成论文、该记在谁头上，还得人来定。陶哲轩那句"你们觉得工作完成了？太天真"，说的是同一层。
真到了 AI 一天交十份卷子，判卷的人是变多还是变少？