AIによるNavier–Stokes問題の解法が共有される

AIが生成したとされるNavier–Stokesミレニアム懸賞問題の解法が共有されました。共有内容には、解法の執筆内容に加えて、定理証明支援系Leanによる形式的証明が含まれています。

共有された内容

今回共有されたのは、Navier–Stokesミレニアム懸賞問題を扱うAI生成解法です。資料には、問題に対する解法の説明と、Leanを用いた形式的証明が含まれています。

提示された情報では、共有者は特定されておらず、解法の正しさや数学的な評価についての追加情報は示されていません。