返回全部动态
OpenAI 分享 AI 生成的纳维-斯托克斯千禧年难题解答
原标题：On the Navier–Stokes Millennium Prize Problem
AI 摘要
OpenAI 分享了一个由 AI 生成的纳维-斯托克斯千禧年大奖难题的解答，其中包括一份书面说明和一份用 Lean 形式化的证明。
以上摘要由 AI 生成，可能存在误差。事实请以原文为准。
发布时间：2026-09-08 18:00
抓取时间：2026-09-28 23:15
来源机构：OpenAI