証明は公開されたのに、なぜ数学者は解けていないと言うのか｜ナビエ・ストークス【ゆっくり解説】

AIに聞いて、堂々と間違いを返された経験はありませんか。 実在しない本のタイトル、存在しない関数名、行ったこともない店の営業時間。 ところが2026年9月8日、そのAIが「数学の証明では一度も嘘をつけなかった」という発表が出ました。 相手は100万ドルの懸賞がかかった、ミレニアム懸賞問題のナビエ・ストークス方程式です。 この動画では、次の3つを順番にほどいていきます。 1. なぜ1体の賢いAIではなく、約1万体を並べる必要があったのか 2. なぜ数学の証明でだけ、AIは嘘をつき通せないのか 3. 証明が出たのに、なぜ数学者は「解けていない」と言うのか 鍵になるのは「採点者」です。 答案を出す相手が採点するかどうかで、嘘をつけるかどうかが決まります。 そしてこの話は、AIに仕事を任せている私たち全員に、そのまま返ってきます。 ■ この動画で分かること ・ナビエ・ストークス方程式が何を決める式で、何が未解決だったのか ・OpenAIが公開した166ページの証明と、Lean形式化(誰でも lake build で検算できる) ・約1万体のエージェントを88時間、約1300億トークン。その中身 ・Feffermanの4つの選択肢(A)(B)(C)(D)のうち、取ったのはどれか ・Clay数学研究所の授賞規則(査読誌に載って2年)と、公式ページが今も未解決と表示している事実 ・先取権をめぐる主張の食い違いと、Terence Tao が述べた懸念 ・「採点者を先に用意してから走らせる」という、自分の仕事への当てはめ方 ■ 目次 0:00 はじめに｜この動画で解ける3つの疑問 1:39 ナビエ・ストークス方程式とは何を決める式か 3:17 100万ドルの懸賞と、公開された166ページの証明 5:13 壊れ方の仕組み｜速さは無限大、エネルギーは有界のまま 7:32 なぜ1体ではなく1万体か｜嘘は置かれた場所で決まる 9:24 Leanという機械の採点者｜手元でも検算できる 12:00 数で押せる仕事と、解けていないと言われる3つの理由 14:14 取ったのは(C)と(D)｜採点者は問題文を採点しない 16:57 査読と2年の手続き、そして先取権をめぐる争い 19:51 論文が自分から書いている土台と、Terence Tao の懸念 21:35 ここまでのまとめと、自分の仕事に採点者を置く 23:42 採点者の作り方3つと、満点の落とし穴 25:26 先に採点者、あとで実行｜これから見る3つ ■ この動画の作り方についてのお断り ・数字と原文は、OpenAIの証明論文PDF・GitHubのLean形式化・Clay数学研究所の公式ページを 　こちらで直接開いて確認しています。二次報道だけに頼っていません。 ・主張が食い違っている点(先取権の経緯など)は、どちらが正しいかを断定せず、 　両者の言い分を主語つきで並べています。 ・確認できなかったこと(使われたモデルの名前・計算の実費・形式化に穴が残っていないか)は、 　確認できていないものとして、そのまま「分かりません」と述べています。 ・画面に出している図解・表・年表は、すべて独自に作成したものです。 ・一次資料の引用は、原文の該当箇所と出典を画面に表示しています。 ■ 引用・出典 ・OpenAI「Navier-Stokes solution」 https://openai.com/index/navier-stoke... (2026-09-09取得) ・OpenAI「Finite time blowup for Navier-Stokes」(証明論文・166ページ) 　https://cdn.openai.com/pdf/32d9f210-8... (2026-09-09取得) ・OpenAI「NavierStokesAndEuler」(Lean 4 形式化・Apache-2.0) 　https://github.com/openai/NavierStoke... (2026-09-09取得) ・Clay Mathematics Institute「Navier-Stokes Equation」 　https://www.claymath.org/millennium/n... (2026-09-09取得) ・Charles L. Fefferman「Existence and Smoothness of the Navier-Stokes Equation」(公式問題記述) 　https://www.claymath.org/wp-content/u... (2026-09-09取得) ・Quanta Magazine「AI has solved one of math's 1 million Millennium Prize problems」 　https://www.quantamagazine.org/ai-has... (2026-09-09取得) ・Fortune「OpenAI says it cracked Navier-Stokes math grand challenge」 　https://fortune.com/2026/09/08/openai... (2026-09-09取得) ・Implicator.ai「Clay Institute, Navier-Stokes, and the OpenAI proof claim」 　https://www.implicator.ai/clay-instit... (2026-09-09取得) ・The Next Web「OpenAI Navier-Stokes claim: verification and credit」 　https://thenextweb.com/news/openai-na... (2026-09-09取得) ・XenoSpectrum「OpenAI, Navier-Stokes singularity, and the Clay dispute」 　https://xenospectrum.com/en/openai-na... (2026-09-09取得) ■ チャンネルについて 「サルでもわかるAIにゅーす速報」では、AIの話題を、霊夢と魔理沙の掛け合いで サルでもわかるようにかみくだいて解説しています。 このチャンネルの動画は、調査・台本・図解・編集まで独自に制作しています。 チャンネル登録と高評価をいただけると、とても励みになります。 ※本動画は、公開されている一次資料と報道をもとに構成した解説です。 　数値や状況は公開時点のものであり、その後変わる可能性があります。 #AI #OpenAI #ナビエストークス #ミレニアム懸賞問題 #Lean #数学 #ゆっくり解説 #生成AI #ChatGPT #AIニュース #ハルシネーション #形式化