10,000代理解决纳维-斯托克斯方程耗时88小时
lean-形式化2026年9月9日，OpenAI宣布通过10,000个自主代理在88小时内解决了克莱数学研究所的纳维-斯托克斯方程难题。这一成果展示了分布式架构在数学证明中的潜力，但同时也引入了新的基础设施约束，如能源消耗和Lean形式化验证的瓶颈。
Read Report →
标签： 纳维-斯托克斯方程
10000个自主代理：纳维-斯托克斯方程求解与新计算架构
anthropic-研究员在开发屏幕上，一行代码不再是由人类工程师产生的最终产物，而是迭代过程的初始输出。OpenAI于2026年9月8日宣布的三维纳维-斯托克斯方程求解成果，标志着计算史上的转折点：人工智能已从被动工具转变为自主发现引擎。该公告描述了在非公开高级模型上协调执行10000个自主代理。这一事件不仅是学术领域的胜利，更是实践证明人工智能开发瓶颈已从数据生成转移到自动处理与验证阶段。尽管美国致力于极端操作自主性，中国正通过资源极致优化重新定义竞争规则。对先进芯片出口的制裁迫使中国实验室开发出不依赖参数总量而依靠更高效软件架构的竞争模型。例如DeepSeek-V3.2-Exp在处理复杂任务时，输入令牌成本显著低于美国竞争对手，证明算法效率可弥补自有硬件缺失的劣势。这种战略分歧正在形成两个截然不同的生态系统。一方面，美国模式优先保障代理自主性与复杂工作流程执行能力；另一方面，中国模式则通过高效率开源模型实现普及访问。竞争已不再局限于谁拥有更强大的芯片，而是谁能在每瓦特能耗中提取最大计算价值。智能因此成为成本变量而非单纯的能力指标。
Read Report →