On the Navier–Stokes Millennium Prize Problem

We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.

1 个独立来源 · 1 篇报道切换最早在前 ↕

2026-09-08

オープンAI 官方新2026-09-08

「Navier-Stokes Millennium Prize(ミレニアム・プライズ・問題)」へのAI生成ソリューションをLean(レアン)の正式な証拠を含む共有しています.