当科研开始“工业革命”：OpenAI 用 1 万个智能体 88 小时攻关 NS 方程

OpenAI 让约 1 万个 AI 智能体并行研究纳维—斯托克斯方程，从启动到获得候选证明仅用约 88 小时，随后用 GPT-6Astra 进行 17 小时 Lean 形式化验证。这一事件引发数学家对“解题竞赛”的批评，也暴露出科研数据用途隔离、信息防火墙与贡献链记录等制度空白。