OpenAI 公布纳维–斯托克斯存在性与光滑性问题的解答，这是七大千禧年大奖难题之一。其内部系统给出的证明显示，起初光滑的流体可在有限时间内产生奇点，并同时公开论文与 Lean 形式化验证；求解动用约 1 万个并行智能体、270 万条消息和约 1300 亿输出 token。OpenAI 称无意申领该奖项。
OpenAI 起初以为 Anthropic 员工 Levent Alpöge 与纽约大学教授 Tristan Buckmaster 也解出了该题，提出联合发布，后得知对方解出的是受迫欧拉方程。OpenAI 承认对方在该问题上的优先权。
OpenAI | Sam Altman(@sama) | Sebastien Bubeck(@SebastienBubeck)
🌸 在花频道 · 茶馆水群 · 投稿通道
via 科技圈🎗在花频道📮 - Telegram Channel
