Claude 或找到 4D Yang-Mills 证明线索

2026 年 10 月 17 日凌晨 2:34，AGI Hunt 报道，Reddit 用户 ResultBackground2450 爆料称，数学家 Levent Alpöge 与 Ethan Sussman 合作，尝试让 Claude 完成 Balaban 构造 Yang-Mills 理论的程序，Claude 可能由此找到了四维 Yang-Mills 理论的存在性论证；报道同时指出，严格验证尚未完成，也未给出证明细节与验证方式。同日 3:25，AGI Hunt 跟进报道称，哈佛数学家 Levent Alpoge 与 Ethan Sussman 已开源 GitHub 仓库，用于记录其尝试让 Claude 完成 Balaban 构造杨-米尔斯理论程序的过程，并称 Reddit 用户的爆料认为 Claude 或已为四维 Yang-Mills 存在性证明提供线索，此事在数学与 AI 社区引发关注。早先报道称这是研究者“尝试”让 Claude 完成构造、结果仅为“可能”的线索且严格验证未完成；后续报道则补充了 GitHub 仓库已开源这一进展。截至目前，相关研究者与结果均未见独立确认，报道未公布证明细节、验证进度或时间表。

AI 根据报道生成 · 35 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。