OpenAI 用1万个Agent攻克纳维–斯托克斯难题

OpenAI 在2026年9月启动一项研究，利用约1万个由内部模型驱动的Agent，在88小时内完成纳维–斯托克斯方程奇点问题的探索，期间交换270万条消息、生成1300亿Token，最终由GPT-6 Astra完成形式化验证。该实验展示了去中心化Agent协作的新科研范式，相关成果已公开论文与Lean证明文件。