AIが「100年難問の流体方程式を解いたかも？」と世界中がざわつく理由

アメリカのAI企業OpenAIが、「数学界の超むずかしい未解決問題をAIで解いたっぽい」と発表して、科学メディアがざわついています。テーマになっているのは「ナヴィエ–ストークス方程式」という、空気や水の流れ（流体力学）をあつかう超重要な数式。クッキーから台風、飛行機の翼のまわりの空気まで、ありとあらゆる“流れ”を説明できるといわれるレベルのものです。

この方程式には「本当にいつもちゃんと解けるのか？」という根本的な謎があり、クレイ数学研究所という団体が「これを証明できたら100万ドルあげます」と賞金までかけている、いわゆる“ミレニアム問題”のひとつになっています。人間の数学者たちは何十年も挑戦してきましたが、いまだ完全な解決には至っていません。

今回OpenAIは、1万台規模の自社AIを総動員し、約88時間ぶっ通しで計算させたところ、「問題のカギになる状況を数値的に解析できた」と主張しています。ポイントは、数学の“証明”というより、「どの条件なら破綻しないか」をAIに大量に試させて絞り込んでいるところ。とはいえ数学の世界では、「厳密な証明」がなければ解決とはみなされません。専門家からも「興味深いけど、まだ“証明できた”とは言えないのでは？」という慎重な声があがっています。

それでも、「AIが、人類が長年うんうんうなってきた抽象的な数学問題まで本気で攻めはじめた」という事実はインパクト大。これまでのAIは、チェスや囲碁、画像生成など“わかりやすいタスク”が中心でしたが、今後はもっと地味で理論的な分野でも、人間の研究スタイルそのものを変えていくかもしれません。

もし本当にAIがこういう数学の難問を次々と片づける時代になったら、私たち人間の「ひらめき」の役割って、どんなふうに変わっていくと思いますか？