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

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

2026-10-17 ~ 2026-10-17 · 2 条相关