NON DUBITO

数学 · 25 / 25

人間精神の栄誉

ヤコビの一通の手紙から、人工知能による証明まで。数学が何を成し遂げたかと、数学が誰のためにあるかは、同じ問いではない。

Han Qin · 日本語全篇版

この篇の目次
  1. 一 一通の返書
  2. 二 役に立つために
  3. 三 数学そのもののために
  4. 四 人間を連れ戻す
  5. 五 どちらに立つか
  6. 六 機械がやって来た
  7. 七 誰が責任を負うのか
  8. 八 誰のために
  9. 史料と参考文献

一 一通の返書

2026年9月11日、一つの声明がネット上で公表され、テレンス・タオのブログにもすぐに転載された。表題は「数学におけるAIの深刻なずれ」。公表時の署名者は25人のフィールズ賞受賞者だった。声明のいちばん大事な一節は、趣旨を言えばこうだ。問題を解くことは道具であり、目標の代わりに使う指標にすぎない。数学の第一の目標は、概念を理解し、洞察を得ることにある。

同じことを、196年前、一通の手紙に書いた人がいた。

1829年4月6日、ノルウェーのアーベルが肺結核で亡くなった。26歳だった。翌年6月、パリの科学アカデミーは、その年の数学大賞をアーベルとプロイセンのヤコビに同時に授与した。一人はもうこの世にいない。もう一人は25歳で、ケーニヒスベルクで教えていた。二人は同じ時期、それぞれ独立に、数年をかけて楕円関数の研究を大きく前進させた。パリには、この学問に40年以上取り組んできた老数学者ルジャンドルがいた。彼は自分の縄張りを守ろうとはせず、むしろ自著の巻末に次々と補遺を出し、二人の若者の成果をそこに収めた。1829年3月、ヤコビはルジャンドルへの手紙で問いただしている。アーベルが1826年にアカデミーに提出した長い論文は、今世紀の数学で最も重要な発見かもしれない。提出から2年もたつのに、どうして注目されずにいるのか。

ヤコビは1829年に『楕円関数論の新基礎』という本を出した。アカデミーはポアソンに、この本について口頭で論評するよう依頼した。その論評の中で、ポアソンはフーリエの生前の言葉を引いた。アーベルとヤコビが熱の運動の研究を優先しなかったことを非難する趣旨の言葉だった。フーリエの生涯で最も名高い仕事は、熱伝導の理論である。1830年5月16日、彼はパリで亡くなった。当時、アカデミーの終身書記の一人だった。同じ大賞には、パリにいた18歳の学生ガロアも、その年の2月に原稿を提出している。フーリエの死後、その原稿は最終審査に回されず、後にも見つからなかった。

1830年7月2日、ヤコビはケーニヒスベルクからルジャンドルに手紙を送った。ポアソンの論評に触れ、まず、読んでうれしく思ったこと、二つの変換が見事に説明されており、ルジャンドルの補遺に導かれたことがよくわかる、と書いた。続けて、故フーリエ氏のあの不適切な言葉を、ポアソンは論評の中で持ち出すべきではなかった、と述べた。そして、後に繰り返し引用されることになる数行が続く。その趣旨はこうだった。故フーリエ氏が、数学の主な目的は公共の役に立ち、自然現象を説明することだと考えていたのは確かだ。だが、彼ほどの哲学者なら知っているべきだった。科学のただ一つの目的は人間精神の栄誉であり、その意味では、数についての問題は、宇宙の体系についての問題と同じだけの価値を持つ。

今回の資料確認では、フーリエが初めに何と言ったのかを直接記録した資料は見つからなかった。ここで示しているのは、ポアソンが伝え、さらにヤコビが応答し、要約した立場である。一方、ヤコビの言葉には手紙という裏付けがある。この手紙は1875年、パリの数学雑誌に掲載された。

その数行は、後に切り離されて広まり、少しずつ削られていった。科学は数学に置き換えられ、フーリエについての半分は消え、残るのはしばしば「数学は数学そのもののために」という一言だった。1987年、ディユドネは「人間精神の栄誉のために」を一冊の本の題名にした。だが、もとの手紙に戻ると、ヤコビが言っているのは、数学が数学自身のためにある、ということではない。彼が置いた目的は、人間の精神にあった。

一方は、役に立つためだと言う。もう一方は、人の精神のためだと言う。数学は何のためにあるのか。二つの答えがここで出会い、その後、この学問の中で交互に優勢になっていく。

二 役に立つために

役に立つためだという側の歴史は、ヤコビの手紙より数千年早く始まっている。

メソポタミアで最初期に作られた粘土板に記されたのは、ほとんどが、誰がいくら納めたか、あといくら負っているか、誰に何を渡したか、ということだった。後世の人に読ませるためではない。来月にも確かめられるようにするためだった。古バビロニアの学校からは、学生が書き写すための文学的な教材が残っている。その一篇は、ある学生の朝から始まる。粘土板を持って学校へ行き、朗読し、昼食をとり、新しい板を用意する。家に帰ってからも、父の前でもう一度そらんじなければならない。翌朝、教師が彼の板を調べ、欠けた箇所を見つける。杖が振り下ろされる。これは教材の文章であって、ある日の懲戒記録ではない。文章の中で打たれる理由も、たいていは私語、立ち歩き、字のまずさだ。それでも、身につけた書記の技術は、大半が帳簿をつけるために使われた。誰がいくら納め、あといくら負っているか。穀物と税を正確に扱うために、数字も正確でなければならない。学生は、帳簿に誤りを出さない仕組みの、その一環になるべく学んだ。

この系譜はフーリエで終わるわけではない。彼は、役に立つための数学を最も立派に体現した人だった。ナポレオンとともにエジプトへ行き、帰国後はイゼール県知事を十数年務めた。熱の研究は、グルノーブルで県知事を務めていた間に行った仕事である。熱伝導の理論は、現実の物理的な問題から生まれた。その問題を解くために彼が作った、関数を波の列へと分解する方法は、後に解析学全体を変えた。彼の中では、有用であることと深いことは、初めから一つだった。

20世紀になると、役に立つための数学は新しい姿を取った。砲兵の射表、ブレッチリーの暗号解読、取引所の価格表。数学者たちが集団で国家や企業へ入っていった。英国政府通信本部のある若者は、1973年、実用になる公開鍵暗号のアルゴリズムを考案した。数年後、マサチューセッツ工科大学の3人が改めて考案したものと同じ方式だった。ところが、その成果は24年間、公にできなかった。国のものだったからだ。この方向に最初に思い至ったエリスは、公表まで1か月もない時に亡くなった。

この側にいるのは、帳簿係と兵営だけではない。フォン・ノイマンは1947年、「数学者」という文章を書いた。数学の一分野が経験に根ざす源から離れすぎ、何世代もの抽象化を経ると、深刻な危険が生じるという。抵抗のいちばん少ない方へと伸び、重要でない枝を大量に生やしかねない。応用だけをやれ、と彼は主張したのではない。純化と経験への帰還を、交互に繰り返すべきだと言ったのである。これは、有用性の側が持つ、最も重みのある言い分の一つだ。数学は、枯れないために世界を必要とする。

だが、この側では、帳簿をつける人もまた、帳簿の一項目になる。あの粘土板の物語で杖を受けた学生。ブレッチリーで秘密保持の誓約に署名した若者たち。語学担当者の職に昇進しないと昇給できなかった女性数学者。24年間、公に名乗れなかった暗号研究者。彼らの数学は手段であり、その人自身も、しばしば手段として扱われた。

三 数学そのもののために

もう一方の側には、20世紀に書かれた宣言がある。1940年、戦争はすでに始まっていた。ハーディは『ある数学者の弁明』を書いた。数学者を画家や詩人になぞらえ、美こそが最初の試金石だと述べた。自分の取り組む本当の数学が戦争から遠くあってほしいと願い、それを慰めとした。彼が最も愛した数論が、数十年後に暗号技術の土台になるとは、思いも寄らなかった。

ハーディの側が進んだのは、数学の責任の相手を、数学自身だけに絞っていく道だった。ブルバキの一連の書物は、その方向を最も徹底して進んだものだ。定義が最初に置かれ、来歴は最後へ回され、例は演習に退き、人は姿を見せない。きわめて大きな影響を及ぼしたこの書き方では、数学は個人の痕跡をほとんど残さない構造として示される。現代数学のすべてが人を排除することを目的としている、と言っているのではない。

数学が役に立つためにあろうと、数学自身のためにあろうと、勘定に入れられるのは、しばしば数学のほうで、人のほうではない。代償は具体的な人に降りかかる。しかも、ひっそりと。

チューリングの1936年の論文では、計算者は、まず計算用のノートを前に座った人間だった。定義が取り出したのは、その人が規則に従い、一歩ずつ作業を進める部分だけだ。その人の中で規則の外側にあるものは、すべて脇に置かれた。そうやって、機械が得られた。

ネーターがゲッティンゲンで講義を始めてからの数年間、時間割に掲げられていたのはヒルベルトの名前だった。彼女は補助者とだけ記され、その講義に聴講料はなかったが、教壇に立つのは彼女だった。後に大学で教える資格を得て私講師になったものの、固定給はない。さらに後になって、ようやく講義に対して、ごくわずかな報酬を受け取るようになった。1933年4月25日、彼女の職務停止を命じる電報が大学へ届いた。彼女を擁護する人々は、14人の数学者に評価書を求めた。英国ケンブリッジのハーディから東京の高木貞治まで、彼女の数学の価値をはっきりと書き記した。さらに12人の学生が連名で訴えた。それでも結果は変わらなかった。彼女を阻んだのは、初めは女性が大学で教える資格を得ることを認めない古い規則であり、後には、職務停止とそれに続く法的措置を含む、1933年のナチ政権による人種的、政治的な粛清だった。彼女の数学にどれほどの価値があるかは、誰もが計算できた。だがここでは、何の役にも立たなかった。

1976年に四色定理の証明が発表された時、その一覧には1,936種類の配置があった。1977年の刊行版では1,482種類に改められている。それぞれが可約かどうかを計算したのは機械だった。機械が印刷した図が正しいかどうかを確かめるため、アッペルとハーケンは両家から集めた5人の子どもたちに手伝ってもらい、一枚ずつ照合した。その中にはハーケンの娘ドロテアがいた。その数年間は、中等学校から大学へと進む時期だった。それ以前にも、父とアッペルに加わり、数か月を手作業に費やしている。アッペルの娘ローレルもいた。その年13歳だった彼女は、丸1か月この作業に当たった。ハーケンの後年の回想によれば、700ページほどから約800か所の転記や図の誤りを見つけたという。完成版の証明に800の穴が残っていた、という意味ではない。証明の著者欄に、子どもたちの名はなかった。

2002年から、ペレルマンは三つのファイルをネットに載せた。誰でもダウンロードでき、その人が誰なのかは問われない。後に彼は、証明が正しければ、ほかの承認はいらないと言った。この方向を最もすっきりと言い表した言葉だ。証明は、それを書いた人から離れられる。だが、彼自身が人目を引く存在になると、何も言わずにペットのように飼われ続けるわけにはいかない、だから退くほかない、と語った。

有用性の側では、人は帳簿の一項目だ。数学自身のためだという側では、人はしばしば帳簿に載ってさえいない。二つの側は200年近く言い争ってきたが、この一点では同じだった。どちらでも、人は目的の位置にいない。

四 人間を連れ戻す

そのたびに、人間をそこへ連れ戻す人がいた。

1907年、ブラウワーはアムステルダムで博士論文を提出した。彼にとって、あることが成り立つと言うには、完了した構成を手にしていなければならなかった。数学とは、人の心が一歩ずつ作り上げるものだ。彼の存在観では、適切な構成的根拠なしに、何かが存在すると断言することはできない。すべての無限過程を物理的な時間のうちに終わらせよ、と求めているのではない。翌年、彼はさらに論文を書き、論理の最も古い規則の一つである排中律は、無条件には使えないと述べた。後にこの一点をめぐって、ヒルベルトと長年争うことになる。

ワイルはヒルベルトの弟子だったが、その論争では一時、ブラウワーの側に立った。1921年、数学の基礎に新たな危機が生じたと論じ、その中で「ブラウワー、これこそ革命だ」と書いた。後には、次のような趣旨のことも書いている。数学化は、言語や音楽のように、人の創造活動の一つなのかもしれない。そこには根源的な独創性があり、歴史の中で行われた選択を、客観的な理屈だけで余すところなく語り切ることはできない。1946年、彼はあの論争が自分に残した消耗について語った。そして、自らの研究が、関心を抱き、知り、苦しみ、創造する人間の生全体の中で何を意味するのかを気にかける数学者なら、おそらく誰でもこうした経験をするだろう、とも述べた。

1976年8月、トロント大学で開かれたある年次大会で、ハーケンは壇上に立ち、アッペルとともに完成させた四色定理の証明を説明した。そこには1,200時間の機械計算が含まれていた。客席から返ってきたのは、礼儀正しい拍手だった。大会の後、数学者たちは次々と、心に割り切れないものが残ると口にした。誰も手で最後まで確かめられない証明について、人がそれを知ったと言ってよいのか。その後、長年にわたって議論が続いた。

18年後、サーストンは「数学における証明と進歩について」という文章を書いた。彼がまず問うたのは、数学者は何を成し遂げているのか、ということだった。数学者はどうやって定理を証明するのか、という問い方はしたくない。むしろ、数学者はどうやって人の数学理解を進めるのか、と問いたい、と述べた。四色定理をめぐる論争について、彼はこう説明する。人々は、その定理が真であることを疑っているのでも、証明の正しさを疑っているのでもない。論争に現れているのは、昔からずっとあった願いだ。定理が真だと知るだけでなく、証明を人間として理解したいのである。

同じ文章の中で、彼は自分の経験も語っている。1970年代初め、葉層構造の研究で、大きな定理を次々に証明した。数年のうちに、その分野の研究者たちは次々と去っていった。ある人は、苦情ではなく褒め言葉として、君はこの分野を殺しつつある、と彼に言った。後にサーストンは、そのわけがわかった。彼の論文は、その背後にある考え方の全体を伝えていなかったし、伝えきることもできなかった。敷居が高すぎた。人が求めるのは、知識にもまして、自分自身の理解だった。彼はさらに、数学者たちが彼から最も学びたがったのは、問題をどう考えるかというやり方であって、幾何化予想のうち広い範囲のケースについて彼が与えた証明そのものではなかった、と言う。幾何化予想全体の証明を、後に完成させたのはペレルマンである。

ブラウワーからサーストンまで、この道が伝えることは、結局一つしかない。数学は真の命題の集積にとどまらない。人が行い、人のために行う営みなのだ。

五 どちらに立つか

もう一つの見方にも、最も強い言い分がある。そのまま示す価値がある。

ハーディは『弁明』の第24節で、純粋数学は自分にとって、あらゆる観念論が座礁する岩礁だと書いた。317が素数なのは、人がそう考えるからでも、人の頭がほかの形ではなく今のようにできているからでもない。317が素数だからであり、数学的実在がそのようにできているからだ。ゲーデルは1964年、さらに踏み込んだ。集合論の対象は感覚経験から遠く隔たっているが、それでも人は、それらについて知覚に似た何かを確かに持っている。その証拠に、公理のほうから人に迫り、真だと認めずにはいられなくなる、と述べた。

この立場の強さは、素朴な事実にある。投票で317を合成数に変えることは、誰にもできない。ある結果が正しいかどうかは、誰が最初に見つけたかにも、何年に見つけたかにも関係しない。

この連載は反対側に立つ。数学は構築されるものだと考える。その理由は、これまでの24篇にある。

負数、虚数。どちらの名にも傷が残っている。何が欠けているかという側からつけられた名だ。負は失う側に置かれ、虚は、それに対応する量がないと言う。後に対象そのものは受け入れられたが、名は変わらなかった。正方形の辺と対角線を同じ単位で測り尽くせないとき、ギリシア人は、存在しないその物差しを探しには行かなかった。変えたのは、二つの比が等しいとはどういうことか、という定義だった。第5公準は2千年にわたって宙に浮いていた。人々はほかの公準からそれを導こうとし続けたが、やがて、それをいっそ置き換えた人がいた。別の幾何も、同じように成り立った。以来、幾何は一つではなくなった。無限小は、自分が何であるかを説明しきれないまま、力学と天文学の計算を百年以上支えた。後に、多くの証明でそれが占めていた場所は、有限の増分や誤差を量化子で制御する極限の言葉に置き換えられた。ただし、その解析学も無限集合や無限過程を扱いうる。1960年代には、無限小を含む数体系を作り、その中で微積分を同じように厳密に行う人が現れた。どの道を進むかを選んだのは人だった。1976年以降、何を証明と認めるかは、公に争われる問題になった。表現力を制限した算術や幾何の理論の中には、完備で、しかも決定可能なものが確かにある。その代わり、当の理論の言語では表せない関係が生じる。だからといって、判定のための計算が容易なわけではない。そのたびに、定義をどう変えるか、どの公理を残すか、何を証明と認めるか、何を知ったと認めるかは、ある具体的な年に、人が決めてきたことだった。

317が素数であるためには、先に人が、数とは何か、割り切れるとは何か、素数とは何かを定めていなければならない。いったん定めれば、結論は人の思いどおりにはならない。1と317自身のほかに、317を割り切る正の整数はない。誰が計算しても、何年に計算しても同じだ。ハーディとゲーデルが感じた、認めずにはいられないという力は、本物である。ただし、人に迫るのは、人が自ら組み立てた仕組みなのだ。結論が客観的であっても、人間に依存していないとは限らない。

この連載で第一篇から使ってきた言葉がある。「構」だ。何かを収めようとして人が組んだ枠組みを指す。数を記す仕方、公理の組、何を証明とするかの規則だけでなく、大学、規約、賞も含まれる。構に収まりきらないものを、この連載では「余項」と呼ぶ。√2は余項だ。第5公準も、無限小も、数え尽くせない無限も余項だ。規約によって門の外に締め出されたネーターも、定義によって脇に置かれた、計算者の中で規則には収まらないものも、余項である。この連載は、構造に収まらないものと制度に収まらないものを、同じ解釈の枠組みの中で比較している。これは著者による哲学的な類比であり、両者が同じ科学的メカニズムから生じると証明されているわけではない。

人は、収まりきらない箇所を鑿（のみ）で開き、新しい構を組み直す。新しい構にも、また収まりきらないものがある。この連載の名は「鑿と構の周期律」。それが指しているのは、このことだ。1931年のあの定理と、数年後のその改良が言うのは、次のことである。十分に強く、公理を一つずつ機械的に列挙でき、しかも矛盾しない形式体系には、その体系の内部では証明も反証もできない文が必ずある。その範囲では、構が閉じきれないことは、証明された定理である。その範囲を離れても、構は閉じきれず、余項は消し去れない、というのが、この連載の判断だ。

構は人が組み、人のために組む。人が目的であり、構は手段だ。24篇を書いてきて、数学の歴史に繰り返し現れたのは、結局、この二つのどちらを先に置くかという争いだった。

六 機械がやって来た

2025年7月、オーストラリアのサンシャイン・コーストで、国際数学オリンピックが開かれた。110か国から来た630人の中高生が、2日間に分けて試験を受けた。1日につき4時間半、3問。金メダルの基準は35点で、72人が金メダルを得た。同じ問題を、機械のシステムも解いた。最初に公表された二つは、一方がGoogle DeepMind、もう一方がOpenAIによるもので、ともに42点満点で35点を得た。前者の答案は主催者側の採点者が確認し、後者は過去にメダルを得た元出場者3人に採点を依頼した。

前年には、DeepMindの二つのシステムが連携し、その年の問題で28点を得ていた。問題は、まず人が、機械の読める形式言語に翻訳した。銀メダル相当の得点の上端で、金メダルの基準には1点足りなかった。採点したのはガワーズと、その年の問題選考委員会の委員長マイヤーズである。いくつかの問題では、最大3日間、計算を続けた。

2025年の二つのシステムは出場選手ではない。国の代表を選ぶ選考を受けておらず、試験会場にも座っていない。両社とも、同じく4時間半を2回という制限を守ったと述べた。だが主催者は、こうした私的なテストの計算資源、人の関与の程度、再現可能性を、独立に確認することはできないと明言した。答案の採点は、生成の過程全体が生徒たちの競技とまったく同じだったことの認定ではない。だから正確に言えば、得点が金メダルの基準に届いたのであって、金メダルを獲得したのではない。主催者は、生徒たちに注目が向けられる時間を残すため、研究所側に発表を遅らせてほしいと望んだ。具体的な延期の取り決めや許可については、当事者たちの説明は完全には一致していない。主催者と採点で協力しなかったOpenAIは、閉会式当日の夜に発表し、理事会のメンバーの一人から求められたのは閉会式の後まで待つことだった、と説明した。主催者と協力したDeepMindは、月曜日、主催者の許可が出るのを待って発表した。数学の共同体には、独自の時計がある。投稿、査読、引用、後の仕事に用いられること。企業にも独自の時計がある。発表日、一番乗り。その土曜日、二つの時計が正面からぶつかった。

3か月後、またぶつかった。2025年10月、OpenAIのある副社長がネット上で、同社のモデルが、これまで未解決だったエルデシュの問題10問の答えを見つけたと述べた。エルデシュは20世紀で最も多作な数学者の一人で、千を超える問題を残した。英国の数学者ブルームは、その状態を一問ずつ記録するウェブサイトを作っていた。ブルームはすぐに、これはひどく誤解を招く説明だと応じた。モデルが見つけたのは、その問題をとっくに解決していた古い論文で、彼自身がそれを知らなかっただけだという。サイトに「未解決」とあるのは、解決した論文を彼個人がまだ知らない、という意味にすぎない。その投稿は後に削除された。あの数日間、古い論文の著者たちは、たった一行で消されるところだった。

機械が成し遂げたことも、本物だ。2026年5月、OpenAI内部のあるモデルが、単位距離についてのエルデシュの予想の一つを覆した。u(n)を、平面上のn個の点から、距離がちょうど1の点の組を最大でいくつ作れるかを表すものとする。予想の上界はnの(1+o(1))乗であり、指数のうち1を超える部分はゼロに近づく。反例は、nがますます大きくなるある数列に沿って、nの(1+ε)乗に達した。εは固定された正の数である。小さくならないのは、指数に付け加わる部分であって、点の組の数が点の数をどれだけ上回るかという実際の差ではない。論文は、反例を生み出した決定的な貢献をモデルに帰している。署名した9人の数学者は、確認、改良、一定の範囲での一般化、そして人に読める形での説明を行った。ブルームもその一人だ。論文には、用いた既存の数学的構成も明記されている。

七 誰が責任を負うのか

2023年1月、『Nature』は大規模言語モデルについて、いくつかの規則を定めた。その第一は、この種の道具を研究論文の著者として挙げることはできない、というものだった。理由は短い。著者として名を載せることは、その仕事に責任を負うことを意味するが、これらの道具には、その責任を負えないからだ。同様の規則は、後に主要な出版社の多くにも採用された。こうした著者資格の規則では、責任は人が負わなければならず、道具に渡すことはできない。

2026年9月4日、Anthropicは、数十のClaudeエージェントが、同社の報告によれば11日間で、フェルマーの最終定理について、初めから終わりまでコンピューターが確認した最初の証明を作ったと発表した。コードは約1,300万行、証明した中間結果は約30,300件で、そのうち約29,500件が最終的な証明に入った。フェルマーの最終定理の新しい証明ということではない。定理そのものは、1990年代に人が証明し終えている。同社が発表した新たな進展は、人がすでに証明したこの定理について、初の完全な形式化証明が得られたということだ。バザードはその後、コンパイルと定理の記述の比較確認を終えたと報告した。それは、1,300万行のコードを一行ずつ人の目で読んだことを意味しない。

インペリアル・カレッジ・ロンドンのバザードは、もう何年もこの仕事に取り組んでいた。英国の研究評議会から100万ポンドを得て、5年を期限とし、2024年10月に着手した。約束したのは、フェルマーの最終定理を1980年代の結果に帰着させることだった。発表の当日、彼はブログに「おめでとう」と書いた。あのコードは、自分のプロジェクトの目標の一部を達成したうえで、はるか先まで進んだ、と述べた。そして、自分が作るのは、人が中に入って現代の証明を探究できる、生きた文書になるだろう、と続けた。あの確認プログラムが判断するのは、コードの中のその文が、コードの中の公理から導かれているかどうかだけだ。その文が、人が思い描くあのフェルマーの最終定理と本当に同じなのかは、人が照合しなければならない。証明はなぜ成り立つのか、鍵はどこにあるのか、どの考え方を別の問題へ持ち出せるのか。確認プログラムは、そのいずれにも関知しない。

3年前に、対照となる例があった。2023年11月、ガワーズ、グリーン、マナーズ、タオが、組合せ論のある予想の証明をネットに載せた。数日後、タオはプロジェクトを立ち上げ、証明を青写真にした。補題ごとに一つの区画があり、誰でも担当を引き受けられた。3週間後、証明全体が機械による確認を通った。合わせて25人が参加した。その青写真は今も残り、人はそれをたどって、証明がどう組み上げられたかを理解できる。

2026年9月8日、OpenAIは、同社の報告によれば、約1万のエージェントが9月1日から作業し、約88時間でナビエ–ストークス方程式についてのあのミレニアム懸賞問題の解答候補を得て、さらに約17時間でLeanによる形式化を完成させたと発表した。滑らかな外力のもとで、流体の速度が有限時間内に発散しうる、というものだ。クレイ数学研究所が示した問題文では、これは認められる解答の一つに当たる。ただし、その証明がすべての条件を満たしているかどうかは、まだ確認中である。同社は、100万ドルの賞金を受け取るつもりはないと述べた。クレイ数学研究所の9月11日の声明は、この問題には解答が得られたようだとし、評価は意図的にゆっくり進めると述べた。声明は100万ドルの賞金と授賞規則に触れていたが、授賞を発表したわけではなかった。

発表前日の夜、ニューヨーク大学の数学者バックマスターと共同研究者アルペゲは、急いでプレプリントをネットに載せた。二人は8月半ば、いくつかの似通った方程式について、似通った結果を得ていた。アルペゲはAnthropicに勤めているが、この研究は彼個人の仕事であり、会社のためにしたものではない。翌日、OpenAIが発表した後、バックマスターは声明を出した。まだ公表していなかった自分たちの進展が、何らかの経路で同社に伝わった可能性はないかと問い、その経路の中に、同社のプログラミング用ツールを使った際に残ったデータも挙げた。同時に、誰かを非難しているわけではないと明記した。彼はさらに、相手側が折衷案を提示し、その条件の一つにアルペゲの署名を外すことが含まれていた、とも述べた。これらは彼の側の説明である。OpenAIは、二人の仕事を見たことを否定し、二つの証明には大きな違いがあると述べた。9月10日に更新された同社の説明では、内部調査の結果、当該プログラミング用ツールの使用に伴う資料が、学習を通じてこの結果に影響した可能性はないとされた。これは会社自身の調査結論であり、独立した第三者が確定した事実として扱うべきではない。今回確認した2026年10月1日の時点では、独立調査によって結論が出たことを示す公開記録は、まだ見つかっていない。会社の内部調査も、当事者の声明も、独立した裁定の代わりにはならない。それでも、問題はすでに目の前にある。機械の作業の流れの中では、ある考えが誰から来たのかを調べることは、最後の文字列を誰が打ったのかを調べることより、はるかに難しい。

25人のフィールズ賞受賞者によるあの声明は、その3日後に出された。彼らが反対したのは、速度を増す大量生産と、性急な発表だった。きちんと書き上げ、新しい方法と新しい考え方をそれぞれ取り出して明らかにし、先人の仕事を引用する。その手順が飛ばされていると言う。このままでは、数学者の間にある重要な、人から人への継承の鎖が切れてしまう。数学者が考えを丁寧に育て、既存の数学につながなければ、その考えは決して本当に生きたものにはならない、と彼らは述べた。

八 誰のために

1830年から2026年まで、二つの言葉の間には196年ある。ヤコビが言ったのは、人間精神の栄誉だった。25人のフィールズ賞受賞者は、問題を解くことは道具にすぎず、目標は理解だと言う。二つの言葉は、同じ場所に届いている。目的は、人のうちにある何かだ。

機械が数学をするようになってから、各方面の反応は、図らずも人を二つの位置に置いた。一方の端には、責任を負う人がいる。雑誌は、著者として名を載せることは責任を負うことだと言い、クレイ数学研究所は、ゆっくり評価すると言う。形式化に携わる人は、コードの中の文が、人の思い描く定理と同じかどうかを確認する。もう一方の端には、理解する人がいる。バザードは、人が中に入って探究できる文書を作ろうとし、9人の数学者は、一つの反例を人に読める論文にした。あの声明は、考えが人の数学につながってこそ、生きたものになると言う。間にいる機械は、ますます多くの仕事をする。両端に立つのは、それでも人なのだ。

サンシャイン・コーストのあの2日間、630人の生徒は、それぞれ試験会場の席に座っていた。機械の35点は、一つの結果である。その2日間、生徒たちの頭の中で起きたこと。それこそが、この学問があの試験を行う理由だ。

数学は人が構築したものだ。人が目的だ。この学問の歴史は、数学と人のどちらを目的とするかが、繰り返し入れ替わる歴史である。あるときには数学が目的になり、計算者の中で規則の外にあるものは脇に置かれ、図を照合した人の名は著者欄から消える。あるときには数学が手段となり、税として納める穀物、戦争の勝敗、取引所の価格差と引き換えにされる。それを計算する人も、一緒に。機械は、この繰り返しの最新の一回であり、最後の一回ではない。一つの構を人から遠く離れたところへ押し出し、ひとりでに動かすことができる。1,300万行、1万のエージェント、88時間。遠くへ押し出せば押し出すほど、問わなければならない。これは誰のために組まれたのか。

ヤコビの手紙のあの言葉は、後に「数学は数学のために」と削られた。もとの言葉にいた人間は、ずっとそこにいる。

何かが人から離れてひとりでに動けるほど、それが誰のために作られたのかを忘れてはならない。

1843年、一人の伯爵夫人が、まだ作られていない機械についての文章を翻訳した。彼女が加えた注は、原文のおよそ3倍の長さになった。その一つには、この機械が自分で何かを始めることはない、と書かれている。

数の計算は続く。なぜ計算するのかを問い返すことは、いまも人が免れることのできない責任だ。

本篇で扱った人工知能の新しい成果と論争の状況は、2026年10月1日時点のものである。会社の発表、コンパイルによる確認、共同体による検証、正式な授賞は、同じ段階ではない。

史料と参考文献

以下の資料は、本文中の歴史的な細部と、解釈の分かれる点に対応している。所蔵資料の記録、古代の文学、現代の再構成は、同じ種類の証拠ではない。

前篇：拒否