重磅消息：OpenAI 的 10，000 个 AI 智能体，由一个能力远超 GPT-6 Astra 的模型驱动，解决了一道困扰数学界约 90 年未解的数学难题。

看来，在这个新世界里，缩放定律可能在于智能体数量，而非模型规模：足够多的强大智能体所能探索的科学思路，远超任何人类团队所能企及。

当数以万计的强大智能体能够探索、批判并整合各种思路时，许多今天"太难"的问题，可能大多会变成算力问题。

就这个问题而言，90 年来，数学家们一直无法回答光滑的三维流体流动是否会突然中断。OpenAI 提出的证明方案认为，答案是会。

为了找到这个解法，OpenAI 将数千个智能体分成多个小组，分别探索不同的思路，然后在各组之间共享最佳发现。

这次搜索耗时 88 小时，在 270 万条消息中使用了约 1300 亿个输出 token。

随后，GPT-6 Astra 又花了 17 个小时检查证明，并将其转换为 Lean 语言--一种用于验证数学证明的系统。

该 Lean 版本已公开，数学家们可以自行查验这一论证。