研究openai2026-09-08
AIが数学の超難問を解決
On the Navier–Stokes Millennium Prize Problem

AIが数学の超難問「Navier–Stokes Millennium Prize Problem」の解答を生成し、証明も公開。AIが複雑な科学問題解決に貢献する可能性を示します。
私たちは、Navier–Stokes Millennium Prize Problemに対するAIが生成した解答を共有します。これには、解説とLeanでの正式な証明が含まれます。
この記事について質問
記事の内容に答えます。記事外のことは都度ウェブで調べます。