OpenAIが、AIが数学・計算機科学・物理の長年の難問を解いたと発表。専門家のグループが確かめる段階で、結果の公開のしかたも3通りに分けた
・OpenAIが2026年10月26日、自社のAIが、数学、計算機科学、物理の3つの分野で新しい結果を出したと発表した。数学では「局所平滑化予想」をすべての次元で証明したとし、計算機科学では広く正しいと信じられてきた「指数時間仮説」が成り立たないことを示したとしている
・物理では、素粒子の強い力を表す理論(量子色力学)などが、数学的に厳密に存在することを示したとする。その一部は、数学の7つの懸賞問題「ミレニアム問題」の1つに関わる
・数学と計算機科学の結果は、証明を機械で確かめる仕組み「Lean」でも確かめた。今後は外部の専門家のグループが、結果を確かめ、説明していく。OpenAIは、この発見で学問上の功績は求めないとしている
OpenAIは2026年10月26日、AIによる3つの新しい発見を発表しました。
AIが数学の問題を解いた、というニュースはこれまでにもありました。ただ今回は、何十年も専門家が取り組んできた分野の中心的な問題に関わるものです。同時にOpenAIは、AIが出した結果を、学問の世界がどう受け止め、確かめていくかという「公開のしかた」も、新しく試すとしています。
この記事では、OpenAIの発表で分かったことを整理したうえで、ふだんの仕事がどう変わるのかを考えます。なお、ここで紹介するのはOpenAIの発表の内容で、専門家による確認はこれからです。
3つの分野の結果
まずは、OpenAIが発表した結果です。
| 分野 | OpenAIが発表した内容 | 確かめの状況 |
|---|---|---|
| 数学 | 1991年に示された「局所平滑化予想」をすべての次元で証明。これにより「掛谷予想」と「スタインの制限予想」もすべての次元で解けるとしている | AIの証明の文章と、Leanでの証明を公開 |
| 計算機科学 | 多くの研究の前提にされてきた「指数時間仮説」が成り立たないことを示した | Leanで確かめ、AIの証明の文章とLeanでの証明を公開 |
| 物理 | 量子色力学や、素粒子の標準模型をまとめた理論が、数学的に厳密に存在することを示したとする。途中で、ミレニアム問題の1つに関わる「ヤン=ミルズ理論」の存在も示したとしている | 外部のグループが確かめる。資料の公開はグループの判断に任せる |
数学の結果は2026年10月18日、計算機科学の結果は10月16日に、AIが出したとしています。物理の結果は、9月に出したとしています。
結果の公開のしかたを、3通りに分けた
次に、公開のしかたです。
OpenAIは、AIが出した原稿は「研究の生のデータ」のようなもので、それを学問の理解に変えるには専門家の力が要るとしています。そこで外部の専門家に相談し、3つの分野で違う進め方をとりました。
・数学:AIの出力をそのまま公開し、研究者が自由に読み解けるようにする
・計算機科学:指数時間仮説を最初に提案した研究者らを含むグループが、結果を確かめて説明する。AIの出力も公開する
・物理:2004年のノーベル物理学賞を受けたデイヴィッド・グロス氏らのグループが確かめ、資料をいつ公開するかもグループに任せる
外部のグループとの協力では、秘密を守る約束を求めない、OpenAIは学問上の功績を求めない、参加は自主的で報酬はない、といった決まりを示しています。
スポンサーリンク
まだ「確かめる段階」
ここで、受け止め方の注意を見ておきます。
・どの結果も、学問の世界での確認はこれから。OpenAIも、どの公開のしかたがいちばん役に立つかは分からないとしている
・計算機科学の結果について、OpenAIは、より速い計算の方法を見つけ、実際の役に立てるには、さらに多くの研究が要るとしている
・計算機科学のグループの求めに応じて、OpenAIは結果の生のデータを公開し、この結果の意味を話し合う会議の費用を出すとしている
仕事はどう変わるか:AIの仕事が「答えを出す」から「人が確かめる材料を出す」になる
ここからは、公式の情報をもとにした僕の見方です。
今回の発表で注目したいのは、AIが出した結果の「確かめ方」だと考えています。
AIが、専門家が何十年も解けなかった問題に答えを出す時代になると、次に大事になるのは、その答えが正しいかを人が確かめ、意味を理解することです。OpenAIが、機械で確かめる仕組み(Lean)を使い、外部の専門家に確認を任せているのは、そのためです。
ふだんの仕事でも同じことが言えます。AIに出してもらった資料や分析は、それ自体がゴールではなく、人が確かめて使うための材料です。AIが賢くなるほど、「どう確かめるか」を決めておくことが大事になります。
調べものや資料づくりにAIを使っている個人事業主にとっても、AIの答えを受け取ったら、数字や出典を確かめる手順を決めておくことが、これからますます大事になりそうです。
あわせて、知っておきたいこともあります。
・紹介したのは、OpenAIの発表の内容。専門家による確認が終わるまでは、「解けた」と言い切れない
・数学や物理の結果が、すぐに私たちの仕事や暮らしに役立つわけではない
・続報は、OpenAIや各グループの公式の発表で確かめる
まとめ:OpenAIのAIが、数学・計算機科学・物理の難問に答えを出したと発表。確かめるのはこれから
OpenAIは、自社のAIが、局所平滑化予想の証明、指数時間仮説の否定、量子色力学の存在の証明という、3つの分野の大きな結果を出したと発表しました。数学と計算機科学の結果はLeanで確かめ、今後は外部の専門家のグループが確かめていきます。
AIが、人の専門家が長年取り組んできた問題に答えを出し、それを人が確かめる、という研究の新しい形が始まった、というのがいちばん大きな変化です。
ふだんの仕事でも、AIの答えを確かめる手順を、今のうちに決めておくのがよさそうです。
出典
・OpenAI「Working with academic communities to build scientific understanding」(2026年10月26日) https://openai.com/index/building-scientific-understanding-with-academic-communities/
