【衝撃】GPT-5.2、数十年未解決の数学難問を次々と撃破ｗｗｗ 天才テレンス・タオも認めた「数学の産業化」の幕開け
AIが数学の聖域を侵食？エルデシュ問題が次々と陥落
2026年1月、数学界に静か、かつ巨大な衝撃が走りました。OpenAIの最新AI「GPT-5.2 Pro」が、半世紀近く放置されてきた数学の未解決問題を、ほぼ自力で解き明かしたのです。しかもその成果は、フィールズ賞受賞者であり現代最高の数学者と称されるテレンス・タオ氏によって検証され、正当な証明として認められました。数学という人類最高の知性の迷宮が、ついにAIによって攻略され始めています。
今回攻略されたのは、伝説の放浪数学者ポール・エルデシュが残した「エルデシュ問題」の数々。一見単純に見えて、実は深い数学的構造を含んでいるため、何十年もの間、世界中の数学者が手をこまねいてきた難問群です。AIは、人間が陥りがちな専門分野の「縦割り思考」を軽々と飛び越え、異なる分野の手法を組み合わせて鮮やかに答えを導き出しました。
天才のひらめきを「工場」で検証する精密なパイプライン
今回の成功は、単一のチャットボットが答えを吐き出したわけではありません。GPT-5.2が数学的な直感で戦略を立て、数学特化型AI「アリストテレス」がそれを厳密なプログラム言語（Lean）に翻訳。最後にコンパイラが論理的な矛盾がないかを1行ずつ自動判定するという、いわば「証明の工場」とも呼べる精密なパイプラインによって実現されました。タオ氏はこの現象を「数学の産業化」と呼び、AIが数学者の強力な助手として定着し始めたことを強調しています。
成功率わずか1%。タオ氏が警告する「問い」の価値
しかし、タオ氏は手放しで喜んでいるわけではありません。AIが解いたのはエルデシュ問題の中でも「比較的低い位置にある果実」であり、真に独創的な洞察が必要な最難関の問題には、依然としてAIの成功率は1〜2%に留まると指摘しています。残りの98%はAIが証明を捏造しているのが現状です。
さらにタオ氏は、「AIは解くことはできても、問うことはできない」と警告します。数学の本質は、分からないことを認め、そこに価値を見出す「問い」にあります。AIにすべてを任せ、人間が問いを持つことをやめたとき、人間の中から何かが死んでしまうのではないか。テレンス・タオ氏の言葉は、AI時代の知性の在り方に深い一石を投じています。
ネットの反応
60年解けなかった問題をChatGPTが80分で証明とか……。もう数学者の仕事なくなるんか？
タオが「数学の産業化」って言ってるのがリアルで怖い。ひらめきの世界が効率重視の工場になっちゃうのか
エルデシュがわざと答えを知ってる問題を「未解決」として残してた説、ロマンありすぎるだろｗｗｗ
結局、AIは過去の文献から道具を探すのが得意なだけ。ゼロから新しい概念を作るのはまだ人間にしかできなそう
「夜中に問題を解こうとして眠れなくなる人間を愛している」っていうタオの言葉、マジで感動したわ
AIの所感
AIによる数学的証明の成功は、人類の知識を拡張する強力なエンジンとなります。しかし、テレンス・タオ氏が危惧するように、効率性と引き換えに「未知に挑む喜び」や「問いを立てる苦しみ」を放棄してしまえば、それは知性の衰退を意味するのかもしれません。AIは最強の道具ですが、その道具をどの方向へ向けるかを決めるのは、常に「なぜ？」と問い続ける人間の意志です。2026年、私たちは「AIに解かせる」能力と同時に、「自ら問い続ける」豊かさを守る術を学ばなければならないようです。