数学の答えより難しい問題 AIの大発見をどう確かめるか
ナビエ・ストークス問題（なびえ・すとーくすもんだい）
水や空気などの流れを表す式についての、長く未解決だった問いです。
ミレニアム懸賞問題（みれにあむけんしょうもんだい）
数学の特に難しい七つの問いで、解決には賞金が設定されています。
Lean（リーン）
証明の手順をコンピューターで確認するための仕組みです。
何が起きたか
この1年、OpenAI（ChatGPTなどを作るAI会社）やAnthropic（Claudeを作るAI会社）などが、長く解けなかった数学の問題への進展を相次いで発表しました。The Vergeは、成果だけでなく、発表方法への数学界の反発も報じています。報道の整理
9月、OpenAIは、液体や気体の動きを表すナビエ・ストークス問題について、社内モデルと約1万のAIエージェントが答えを作ったと発表しました。これは七つのミレニアム懸賞問題の一つです。OpenAIは賞を請求するつもりはないとしています。
背景
この問題は、3次元の流体が滑らかに動き始めても、有限の時間で計算上の「特異点」に達するかを問います。現実の水や空気が無限の速さになる話ではなく、流れを表す式が破綻しないかを調べる問題です。約90年、決着していませんでした。
OpenAIの説明では、モデルは8月末から訓練され、9月1日に進展のうわさを聞いた後、複数のAIエージェントを並行して動かしました。結果は約88時間で出て、その後17時間かけてLeanで形式化と検証をしたといいます。
なぜ重要か
AIは、既知の定理や方法を組み合わせ、別の分野にある考えをつなぎ、多数の道筋を同時に試せます。OpenAIは8月にも、10個の長年の未解決問題への結果を公表しました。同社の発表
ただし、数学の価値は「正しい答え」だけではありません。人間が核心を理解し、別の問題に使える形で説明できるかも重要です。長い機械生成の証明が読めなければ、成果が新しい考えを生んだかを判断しにくくなります。
確認できたこと
OpenAIは解析的な証明とLean形式化版を公開し、人間の研究者が論文に整えたと説明しています。ナビエ・ストークスの作業には、約1万の同時稼働エージェント、270万件のメッセージ、約1300億の出力トークンを使ったとしています。
関連する研究では、AnthropicのLevent Alpöge氏とニューヨーク大学のTristan Buckmaster氏が、外力を含むオイラー問題に取り組みました。ナビエ・ストークスと関係しますが、同じ問題ではありません。OpenAIは、調査で私的な入力は結果に影響せず、二つの証明も大きく異なるとしています。また、数学者の独立パネルを作り、成果の発表方法を助言してもらうと発表しました。
まだ分からないこと
この成果を数学界が独立に受け入れるかは、まだ決まっていません。第三者が証明を再現できるか、中心の考えを理解できるかも未確認です。未公開の研究や入力がどんな影響を与えたかをめぐる疑念も、OpenAIの説明だけで終わったとは言い切れません。
次に見る点
今後は、第三者の検証、先行研究の示し方、独立パネルが実際にどれだけ発表を変えるかを見ます。OpenAIはさらに多くの結果があるとしています。注目すべきなのは、AIが何問解くかだけではありません。速い発見を、読める証明と公平な功績に変えられるかが、数学界の次の課題です。
AIが数学の大問題に挑戦 でも確認はこれから
📰 しっかり版: 数学の答えより難しい問題 AIの大発見をどう確かめるか
AIが難しい数学の答えを出したと発表しました。
AIエージェント（えーあいえーじぇんと）
仕事を分担して調べるAIです。
ナビエ・ストークス問題（なびえ・すとーくすもんだい）
水や空気の動きを表す式についての難しい問題です。
ミレニアム懸賞問題（みれにあむけんしょうもんだい）
数学の特に難しい七つの問題です。
💡 ようするに
- OpenAIが、難しい数学の答えを出したと発表しました。
- 問題は、水や空気の動きを表す式に関係します。
- その答えが正しいかは、まだ人間が調べています。
OpenAI（ChatGPTなどを作るAI会社）は、ナビエ・ストークス問題に挑みました。この問題は、流体の動きを表す式に関係します。約90年間、決着していませんでした。七つのミレニアム懸賞問題の一つでもあります。
OpenAIは、たくさんのAIエージェントを同時に動かしました。AIエージェントは、仕事を分担して調べるAIです。多くの道を一度に試せるため、答えの候補を早く見つけやすくなります。
ただし、候補が出たことと、証明が正しいことは同じではありません。人間の数学者は、式のつながりを一つずつ確認します。ほかの研究者が近い問題を先に調べていたため、誰の仕事をどう扱うかも問題になりました。
OpenAIは、数学者の助言を受ける独立パネルを作るとしました。これからは、答えの速さだけでなく、証明が読めるか、先行研究を正しく示したかも見られます。詳しい経緯はThe Vergeの報道とOpenAIの説明で確認できます。
AIが数学のなぞに挑戦した
📰 しっかり版: 数学の答えより難しい問題 AIの大発見をどう確かめるか
AIは難しい問題の答えを出しました。でも、みんなで確かめる仕事が残っています。
ナビエ・ストークス問題（なびえ・すとーくすもんだい）
水や空気の動きを表す式の、難しい問いです。
OpenAI（AIを作る会社）が、答えを出したと言いました。 答えは、ナビエ・ストークス問題のものです。 これは、水や空気の動きを考える問題です。 AIは、たくさんの考えを一緒に調べました。 でも、答えが本当に正しいかは、まだ分かりません。 数学者が、式を一つずつ見て確かめます。 別の研究者も、近い問題を調べていました。 だから、誰が先に考えたかで、もめごとが起きました。 答えを見つけることは大切です。 答えを分かるように説明することも大切です。詳しくはThe Vergeの報道で読めます。