【AI新突破】数学界、たった数週間で歴史が動きすぎている件――フェルマー・リーマン、そして「2045年問題」

ここ数週間、AI×数学の世界がすごいことになっている。
「Claudeがフェルマーの最終定理を証明」「リーマン予想に世紀の突破口」――どれも大げさに見えるタイトルだが、全部実話。しかもバラバラのニュースに見えて、順番に読むと一本の線で繋がる。今回はその3つを紹介する。

その1：358年越しの大定理が、「誰でも検証できる」ものになった

フェルマーの最終定理――358年間、世界中の数学者を悩ませ続けた超難問だ。

今回Claudeがやったのは、その巨大な証明を1,300万行のコードに書き直し、コンピュータが最初から最後まで丸ごとチェックできる形にまとめ上げること。しかも11日間で。

「証明は専門家のお墨付きがあればOK」だった数学の世界が、誰もが自分の目で確かめられる時代に突入した瞬間だ。しかも、実際に自分の手で検証する手順まで親切にまとめてくれている人がいる。
試してみたくなった人は、こちら。
👉 Anthropicのフェルマーの最終定理Lean証明を検証する方法

その2：数学の聖杯で人類37年ぶりの大記録→人間の反撃→AIが数時間で締めくくる

お次はもっとすごい。素数の謎を解く鍵と言われる数学界の聖杯、リーマン予想だ。

ここ37年、世界中の数学者が束になってかかっても、記録をわずか0.8%しか伸ばせなかったこの問題。それをClaudeが、なんと一気に25.6%も更新してみせたのだ。数学界は一瞬で沸いた。

でも、この話の本番はここからだ。AIによる証明は、巨大な行列を積み上げまくる「力業」。一流の数学者も頭を抱える代物だった。そこに名乗りを上げたのが、数論学者のユネス・ラムズーリ（Youness Lamzouri）。
「もっと美しい証明があるはずだ」と、たった一つの不等式で同じ結果を証明し直してみせたのだ。

そして極めつけ。その証明の検証を、AIがわずか数時間で完了。論文が公開されたその日のうちに機械検証まで終わったのは、前代未聞と言われている。AIの力、人間の美意識、機械の検証力――3つが一つの難問に勢揃いした、数学史に残る数週間だ。
この流れをいちばん熱く伝えているのが、こちらの速報記事だ。
👉Claude、リーマン予想で最大の突破口――人間の数学者による検証も完了

その3：で、これはもう「シンギュラリティ」ってこと？

ここまで読んでくると、そう感じないだろうか？　AIが、着実に人間の領域に踏み込んできているのではないか、と。

実はこの問いへの答え、専門家の間で真っ二つに割れているのだ。
「2026〜27年にはAIが人類の知能を超える」（AnthropicのCEO）という予測もあれば、「2045年までは来ない」（レイ・カーツワイル）という見方もある。
さらには「今のやり方では絶対に超えない」（ヤン・ルカンら）という声まであるのだ。

そもそも「2045年問題」って何？「AGI」って何？
という入り口の疑問から最新の論争まで、一気に整理してくれるのがこの記事だ。上の2つを読んだ後に読むと、この数週間の出来事が「何の予兆」なのかがハッキリ見えてくる。
👉シンギュラリティとは？2045年問題とAGI論争の現在地をわかりやすく解説【2026年版】

3つとも、読む順番がそのまま物語の順番だ。「何が起きたか」→「何が始まったか」→「これから何が起きるか」。

数年後、「あの数週間が始まりだった」と振り返る日が来るかもしれないよ。