OpenAI公布三项重大AI科学发现:全维局部光滑猜想获Lean验证，ETH被推翻，杨–米尔斯证明进入复核

外部专家参与的学术复核流程。 这次发布最值得关注的不是“AI又做对了几道难题”，而是OpenAI正在尝试建立一条新的科研生产线：模型提出论证，形式化系统检查逻辑，领域专家审查数学含义与原创性，最后交给学术共同体复 。与传统大模型只给出一段看起来像证明的自然语言不同，这套流程开始触及科学成果真正的验收环节。 不过，“OpenAI宣布突破”和“学术界确认突破”仍然是两件事。Lean可以检查形式系统中的