OpenAI News·· 28 天前精選AI 評分73
OpenAI 分享 Navier–Stokes 千禧年大獎難題的 AI 生成解答
On the Navier–Stokes Millennium Prize Problem
AI 導讀
OpenAI 分享一份針對 Navier–Stokes 千禧年大獎難題的 AI 生成解答。材料包括解説稿，以及以 Lean 撰寫的形式化證明。
推薦理由
材料同時附上解説稿與 Lean 形式化證明，讀者可對照文字論證及形式化證明檢視這份 AI 生成解答。
來源：OpenAI News · openai.com