OpenAI News·· 27 天前评分62
On the Navier–Stokes Millennium Prize Problem
摘要
这条英文动态讨论了 AI 领域的新进展。原文要点：We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
本站只提供摘要与原文入口。完整内容请阅读原文。
来源：OpenAI News · openai.com