AIが10年越しの数学難問を自力で解いた

数学者が10年かけても解けなかった問題を、AIが独力で解いてしまった。これは単なる計算速度の話ではありません。

何が起きたのか

2026年4月4日、北京大学を中心とする中国の研究チームがプレプリント論文を発表しました。彼らが開発した「デュアルエージェント・フレームワーク」と呼ばれるAIシステムが、ダン・アンダーソン氏——米アイオワ大学の元教授で、2022年に73歳で逝去——が2014年に提起した未解決の数学問題を、自律的に解決したというのです。

このAIが行ったことは、単純な計算や既知の公式の組み合わせではありません。数十年分にわたる数学の学術文献を統合・分析し、人間の研究者が介在することなく、独自の証明を構築したとされています。問題が提起されてから12年、その提唱者が世を去ってから4年後のことでした。

なぜ今、これが重要なのか

AIが数学の問題を解く、という話は以前にも存在しました。しかし従来のケースの多くは、「既に答えが分かっている問題を、AIが再現できるか」という検証に近いものでした。今回の事例が異なるのは、誰も解いていなかった「オープン問題」に挑んだという点です。

広告

広告掲載について

[email protected]

広告

数学における「オープン問題」とは、専門家コミュニティが「まだ解かれていない」と認識している問題のこと。答えが存在するかどうかすら、事前には保証されていません。そこにAIが自律的に取り組み、証明を導き出したとすれば、研究の性質そのものが変わり始めていることを示唆します。

日本の研究現場にとっても、これは他人事ではありません。少子高齢化による研究者人口の減少が懸念される中、東京大学や理化学研究所といった機関では、AIを研究補助ツールとして活用する動きが加速しています。しかし「補助」と「自律的解決」の間には、大きな質的差異があります。今回の事例は、その境界線がどこにあるのかを問い直すきっかけになりそうです。

複数の視点から読む

研究者の立場から見れば、この成果は「可能性の拡張」として歓迎されるでしょう。人間が生涯をかけても読み切れない量の文献を統合し、新たな洞察を引き出す——そのような知的パートナーの存在は、科学の進歩を加速させるかもしれません。

一方で、懐疑的な声もあります。プレプリント論文はまだ査読を経ておらず、証明の正確性や独自性については、数学コミュニティによる検証が必要です。「AIが解いた」という主張の信頼性は、その後のピアレビューにかかっています。

地政学的な文脈も無視できません。米中間のAI開発競争が激化する中、中国の研究機関が基礎科学の領域でこうした成果を発表することは、単なる学術的な話題を超えた意味を持ちます。Google DeepMindの「AlphaProof」など、欧米でも数学AIの研究は進んでいますが、今回の「オープン問題の自律的解決」という主張は、一線を画す可能性があります。

日本企業の視点では、ソニーや富士通が取り組むAI研究開発において、このようなフレームワークが応用される可能性があります。特に素材科学や創薬分野では、未解決の数理的問題が研究の壁となっているケースが多く、自律型AIの活用余地は小さくありません。