Chubby♨️ · @kimmonismus · X·2026-09-09 01:46·53分钟前
AI 导读

作者转发 OpenAI 官方声明:OpenAI 称其 AI 求解了悬置约 90 年的 Navier–Stokes 千禧年大奖问题。一个训练中的新内部模型(据称显著强于 GPT-6 Astra)驱动约 10,000 个并发智能体,88 小时得出解,GPT-6 Astra 再用 17 小时完成 Lean 形式化与验证。

Chubby♨️@kimmonismus
73AI 编辑部评分,满分 100
2026-09-09 01:46· 53分钟前
AI 导读

作者转发 OpenAI 官方声明:OpenAI 称其 AI 求解了悬置约 90 年的 Navier–Stokes 千禧年大奖问题。一个训练中的新内部模型(据称显著强于 GPT-6 Astra)驱动约 10,000 个并发智能体,88 小时得出解,GPT-6 Astra 再用 17 小时完成 Lean 形式化与验证。

"Since August 28 we have been training a new internal model that has exhibited unprecedented performance in our benchmarks, including mathematics. This model’s training is ongoing and its performance continues to improve."

We haven't seen anything yet.

I'm speechless.

Chubby♨️Holy cow, its official! OpenAI says its AI has solved the Navier–Stokes Millennium Prize Problem, a mathematical question unresolved for roughly 90 years. An in...