跳到正文
原文
OpenAI News·· 21 天前AI 评分22

OpenAI 分享 AI 生成的 Navier–Stokes 千禧年大奖难题解答

On the Navier–Stokes Millennium Prize Problem

AI 导读

OpenAI 分享了一份由 AI 生成的 Navier–Stokes 千禧年大奖难题解答,包含一份文字说明和一份 Lean 形式化证明。

来源:OpenAI News · openai.com