AI拿下物理千禧难题的“前半题”？专家组认为OpenAI证明了杨-米尔斯理论“存在”，但最难的“质量间隙”仍未解决 ↗
杨-米尔斯理论是描述基本粒子之间作用力的数学地基之一，但它在数学上到底能不能被严格“搭”出来，几十年来一直没人证明；连同更难的“质量间隙”，它是克莱数学研究所悬赏的千禧年难题之一。由诺贝尔奖得主戴维·格罗斯主持的工作组于美国时间11月10日夜里公开评估：他们认为，OpenAI 10月28日提交、可由计算机逐步核验的Lean证明，已经证明了纯杨-米尔斯理论“存在”。但工作组明确写道：质量间隙没有被证明，千禧年难题并未完整解决，而且他们“还不声称已经完全理解这份证明”。