【数学】ミレニアム問題のひとつをAIが解決？

2026年9月10日

どういう顛末になるのだろう。

ミレニアム問題のひとつをAIが解決？

We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.

The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.

The problem… pic.twitter.com/8zol3BPTL4

— OpenAI (@OpenAI) September 8, 2026

コミュニティノートもついているが……？

・90年間解かれていなかった数学の難問をAIが解決する

・数学界で検証の段階に入る

・人ではなくAIが解いたので，発見者は？著者は？貢献者は？等，学術界のルール作りが必要な状態

こんな感じだろうか。

AI時代の課題のひとつがまた登場したことになる。

そのうちこういった問題の解決も日常的なものになってゆくのだろうか。

余談。

ミレニアム問題とは，100万ドル（現在およそ1億5000万円）の懸賞金がかかった数学の未解決問題。

AIは懸賞金は受け取らないとしているが，懸賞金の所在だけでなく，AIのデータ収集に用いられた論文や記述などもあり，その社会的な貢献度合いも含め，ややこしい問題になっている。

数学の話題ではあるのだけれど，AIを含めたルール作りが気になる問題だ。