数学の世界で、何かが静かに変わり始めている。

AIが、未解決だった難問に近づき、場合によっては証明の一部を示し、人間の数学者たちがそれを検証する。少し前までなら、これはSFの設定だった。あるいは、研究者向けの冗談だったかもしれない。けれど、いま起きていることは、もう少し現実的で、もう少し不気味だ。

AIが計算を速くする。AIが論文を読む。AIが定理の候補を出す。AIが補題を組み立てる。AIが証明の隙間を埋める。そして、いつの間にか人間は、証明する主体ではなく、証明されたものを受け取る側に立たされている。

もちろん、まだすべての数学がAIに置き換わるわけではない。数学は単なる計算ではないし、証明は単なる手続きでもない。問いの立て方、概念の美しさ、何を重要とみなすか、どの問題に人生を賭けるか。そこには、身体を持った人間の直感や、歴史や、文化が入り込んでいる。けれど、それでも、境界は動いている。

これまで数学者は、「まだ誰も解けていないもの」に向かっていた。そこには、人間の知性の最後の砦のような雰囲気があった。未解決問題は、単なる問題ではなく、人間がまだ到達していない場所だった。山であり、海であり、暗闇であり、祈りの対象でもあった。

その暗闇に、AIがライトを当て始めている。

ここで本当に問われているのは、AIが人間より賢いかどうか、ではない。AIが証明できるかどうか、でもない。むしろ問われているのは、AIが出した証明を、人間はどう信じるのか、ということだ。

証明とは、本来、信頼の形式である。

数学の証明は、誰かの権威を信じるものではない。手順を追えば、誰でも納得できる。だからこそ、数学は強い。政治や宗教や市場のように、誰が言ったかではなく、何が示されているかが問題になる。

しかし、AIが生成する証明が、人間には容易に追えないほど長大で、複雑で、形式的になったとき、その証明は本当に「理解された」と言えるのだろうか。

コンピュータが検証した。形式検証システムが通した。AI同士が確認した。人間のチームが一部を読んだ。

それは、証明なのか。それとも、証明らしきものを信じるための、新しい制度なのか。

ここに、AI時代の本質的な問題がある。AIは答えを出す。しかし、人間はその答えに意味を与えなければならない。AIは証明を生成する。しかし、人間はその証明が、なぜ重要なのかを決めなければならない。AIは可能性を広げる。しかし、人間は、どの可能性を社会の中に置くのかを選ばなければならない。

定理のあとに、人間が残る。

それは、人間が最後に勝つ、という意味ではない。AIにはできない人間らしさがある、と安心するための言葉でもない。むしろ逆である。

AIが多くのことをできるようになったあとで、ようやく人間の仕事が露出する。人間が本当にやっていたことは、解くことだけではなかった。問うことだった。待つことだった。疑うことだった。意味をつなぐことだった。その発見を、共同体の中でどう扱うかを決めることだった。

数学者の役割は、消えるのではない。変わる。

「証明する人」から、「問いを選ぶ人」へ。「計算する人」から、「意味を読む人」へ。「正しさを出す人」から、「正しさを信じる仕組みを設計する人」へ。

これは数学だけの話ではない。医療でも、法律でも、教育でも、経営でも、同じことが起きる。AIが診断する。AIが契約書を読む。AIが教材を作る。AIが市場を予測する。AIが戦略を提案する。

そのとき人間は、「AIの答えが正しいか」を確認するだけの存在になるのか。それとも、「その答えを採用してよいのか」を判断する存在であり続けるのか。この差は大きい。

AIによって仕事が奪われる、という話はわかりやすい。雇用が減る。職種が変わる。報酬構造が変わる。組織が再編される。それは確かに現実的な問題である。けれど、もっと深いところでは、「わかったことにする権利」が移動している。

誰が、これは正しいと言うのか。誰が、これは重要だと言うのか。誰が、これは社会に入れてよいと言うのか。誰が、これはまだ保留すべきだと言うのか。

AI時代の信頼は、単にモデルの性能だけでは決まらない。ベンチマークの数字だけでも決まらない。まして、巨大企業の発表だけで決まるものでもない。必要なのは、答えのまわりに置かれる制度であり、作法であり、観測であり、記録である。

どのAIが、どの条件で、どの証明を出したのか。誰がそれを検証したのか。どの部分は人間が理解し、どの部分は機械的に確認されたのか。その結果は、誰に影響を与えるのか。それを採用しない自由は残されているのか。

このような問いは、数学の外側にあるようでいて、実は数学の未来そのものに関わっている。数学は、閉じた体系の中で完結するように見える。けれど、数学を信じるのは人間である。数学を教えるのも人間である。数学を制度に使うのも人間である。数学によって世界を設計し直すのも人間である。

だから、AIが証明を始めた時代に必要なのは、人間の敗北宣言ではない。人間の役割の再定義である。

もう、人間はすべてを手で解かなくてもよいのかもしれない。しかし、人間は何を問うべきかを失ってはいけない。もう、人間はすべての証明を一行ずつ追えなくなるかもしれない。しかし、人間は何を信じるべきかを他人任せにしてはいけない。もう、AIは人間が一生かけても届かない場所に、数秒で到達するかもしれない。しかし、その場所に名前をつけるのは、まだ人間である。

定理のあとに、人間が残る。

そこに残る人間は、万能の知性ではない。むしろ、不完全で、迷い、疑い、時には理解できずに立ち止まる存在である。けれど、その立ち止まりこそが重要なのだと思う。

AIが証明を出した。では、それは何を意味するのか。それを、誰に伝えるのか。それを、どのように教えるのか。それによって、どんな世界が作られてしまうのか。そして、その世界を本当に望んでいるのか。

この問いは、AIには完全には引き受けられない。

AIは証明できるかもしれない。しかし、証明された世界を生きるのは、人間である。

だから、数学のシンギュラリティとは、人間の終わりではない。それは、人間が「解く存在」から、「意味を引き受ける存在」へ移動する瞬間なのだと思う。

© SHIRO & Co.

First published: 2026-06-18