🤖 由 文心大模型 生成的文章摘要
在阿布扎比举行的ADIPEC 2026能源大会上，OpenAI CEO Sam Altman谈及此前公布的纳维–斯托克斯数学突破时透露，完成这项工作的是1万个由即将发布的下一代GPT驱动的Agent，它们连续协同工作约4天，且整个系统”没有层级，没有老板，完全去中心化”——每个Agent都可自行探索研究方向、分享进展，并根据已有成果决定下一步。Altman认为，这代表了一种全新的工作和科研方式。外界据此推测，OpenAI内部使用、能力远超GPT-6 Astra的研究模型，很可能就是即将面向公众发布的下一代GPT。
这场实验的主角是描述流体运动规律的纳维–斯托克斯方程。围绕它的一个基础数学问题已困扰研究人员近90年：三维空间中，原本平滑的流体运动是否可能在有限时间内突然出现奇点。2000年，该问题被克雷数学研究所列入七大千禧年数学难题。今年9月8日，OpenAI公布研究成果，称内部模型构建出一套数学证明：在施加平滑外力条件下，一个最初静止、运动平滑的流体可在有限时间内形成奇点，同时保持总能量有限；该证明解决了问题正式表述中的C、D两个情形，并同步公布了论文和Lean形式化证明文件。
研究过程显示，实验从9月1日启动，不同Agent小组分别探索不同数学问题和证明路径，可读取缓存互联网信息并运行代码。随着欧拉方程相关问题取得突破，团队将更多算力转向纳维–斯托克斯研究，并用Codex整理各小组阶段性成果、反馈给其他小组。参与研究的Agent规模最终达约1万个，在约88小时内完成核心数学探索，期间交换270万条消息、生成约1300亿Token；之后GPT-6 Astra又花费17小时通过Lean完成形式化和验证。
