2026年9月8日、OpenAIが「ナビエ・ストークス方程式」の証明に関する発表を行いました。この方程式は流体の動きを記述する式で、誕生から約200年、2000年にクレイ数学研究所が「ミレニアム懸賞問題」の1つに指定してから26年、世界中の数学者が挑んできた未解決問題です。

見出しだけ見ると「AIが200年の難問を解いた」ように見えますが、実際に証明されたのは"外力あり"という条件つきの版。懸賞問題が定義する"外力なし"の本題は、まだ解けていません。OpenAI自身も、賞金100万ドルを主張するつもりはないと明言しています。

さらに、この成果には「誰の手柄か」という別の論争もあります。証明の土台を築いたのは、ニューヨーク大学のトリスタン・バックマスター氏とAnthropicのレベント・アルポーゲ氏。OpenAIは共同研究を持ちかけましたが断られ、バックマスター側は「自分たちの成果が伝わったとみられる時期から数日のうちに、OpenAIが同じ手法で計算を始めた形跡がある」と指摘しています。ただし両者とも、研究の過程でAI（CodexやClaude）を使っていました。「AI対人間」という単純な話ではありません。

▼ この動画で分かること
- ナビエ・ストークス方程式とは何か、なぜ200年解けなかったのか
- OpenAIが実際に証明したのは何なのか（懸賞問題の本題との違い）
- 証明の土台を築いた研究者たちとOpenAIの間で起きている、功績をめぐる論争
- AIを使って仕事を速く終えたとき、その手柄はどこまで自分のものか、という問い

▼ こんな人向け
- 「AIがミレニアム懸賞問題を解いた」という見出しだけで済ませず、実態を知りたい
- AIと人間の共同作業における「功績」の線引きに関心がある
- 数学・AIの最新動向を一次情報ベースで整理して知りたい

▼ 制作
- ナレーション: VOICEVOX「青山龍星」
- スライド・BGM: Gemini で制作
- 動画制作: Claude Code（Anthropic）でほぼ全工程を自動化

#AIニュース #OpenAI #ナビエストークス方程式 #ミレニアム懸賞問題 #数学 #生成AI