OpenAI 表示 10,000 个 AI 代理在 88 小时内解决了 Navier-Stokes
OpenAI 发布了165页的论文和 Lean 文件，而 Clay 仍将价值100万美元的千禧年难题列为未解决。
By Ryan Merket · Published
Primary source: X
为何重要
一个有效的证明将标志着从人工智能辅助的数学迈向人工智能生成的前沿研究的一步，而那次 10,000 个智能体运行展示了实现这一飞跃背后的计算成本。
OpenAI 周二表示，一个未发布的模型和大约 10,000 个协调的 AI 代理在 Navier-Stokes 存在性与光滑性问题上产生了解决方案，这一主张如果成立，将位列迄今归因于 AI 系统的最重要成果之列。
在一则 在 X 上的线程 和一篇更长的 研究公告 中，OpenAI 表示这些代理在大约 88 小时内找到了该结果。OpenAI 将底层模型描述为“显著比 GPT-6 Astra 更强大”，并表示其训练仍在进行中。
OpenAI 发布了一个 165 页的分析性证明，以及可供外部研究者下载、构建和检查的 Lean 4 的形式化。论文论证了三维不可压缩流体可以从静止开始并在有限时间内产生无界速度，即便其动能保持有界且施加在流体上的外力保持光滑。…
When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.