教科书里一条30年的"铁律"，被AI拆了。
10月26日，OpenAI一次性公布三项由AI产出的科学成果：数学上，证明了适用于所有维度的局部光滑猜想，并由此得到著名数学问题挂谷猜想的相关结果；计算机科学上，反驳了1999年提出的"指数时间假设"（ETH）——它说的是3-SAT这类问题不可能快过指数时间，是计算复杂性理论的基石级假设；理论物理上，给出了四维量子色动力学与纯杨-米尔斯理论的严格结果，踩在千禧年难题的门框上。
最硬的细节是：按OpenAI的说法，ETH的反驳结果已经在Lean证明助手里完成了形式化验证——不是发布会PPT，是机器可查的证明。
我的看法：这件事的分水岭不在"AI多聪明"，在科学发现的生产方式变了。以前是科学家提问、AI帮忙查文献；现在是AI直接产出可检验的新结果。OpenAI同步给10万名科学家和数学家免费开放顶级模型——科研场景，就是下一个分发战场。
当然，官宣不等于公认，数学共同体的检验才是最终裁判。
OpenAI AI 科学突破
作者加速成长计划