哈佛数学家携手 Claude 攻关杨-米尔斯构造并开源过程

哈佛数学家 Levent Alpoge 与 Ethan Sussman 开源了 GitHub 仓库，记录其尝试让 Claude 完成 Balaban 构造杨-米尔斯理论的程序。有 Reddit 用户爆料称，Claude 或已为四维 Yang-Mills 存在性证明提供线索，此事引发数学与 AI 社区关注。