OpenAI宣布用10000个AI智能体跑88小时，攻克千禧年大奖难题

会懂网AI资讯，9月9日，继Claude尝试攻克黎曼猜想后，OpenAI宣布动用10000个AI智能体协同运行88小时，攻克了一道千禧年大奖相关的数学难题。数学家陶哲轩对此既表达肯定，也提出了担忧。

千禧年大奖难题是克雷数学研究所在2000年提出的七道数学难题，每道悬赏100万美元，至今仅庞加莱猜想被解决。这类问题的难度在于需要全新的数学工具与深刻的洞察，而非单纯的计算能力。

10000个智能体协同88小时，这一规模本身就是里程碑。它意味着AI系统已经能够组织大规模并行探索——把问题拆解为大量子任务，分配给不同智能体分别尝试，再汇总验证有效路径。

这种”暴力美学”式的求解方式与人类的数学研究很不一样。人类数学家依赖直觉与洞察，在有限的尝试中找到关键突破口；而AI系统则通过海量并行搜索覆盖可能性空间，用规模换取成功率。

陶哲轩的”既点赞又担忧”颇具代表性。点赞在于AI确实推动了问题进展，担忧则在于：这种依赖大规模算力的方法，是否真的增进了人类对数学的理解，还是仅仅得到了一个答案。

更深层的问题是验证。当AI产出的证明长达数千页、由成千上万个步骤组成时，人类如何核验其正确性？这可能需要形式化证明工具的配合——就像Claude用Lean完成费马大定理证明那样，让机器自己检查每一步。

从更广的意义看，无论这一成果最终如何评价，它都标志着AI在数学研究中的角色发生了转变——从辅助计算工具，变成了可以独立承担探索任务的合作者。这种转变对科研组织方式的影响，可能比单个问题的解决更为深远。