AI主導の数学的発見が人間の数学的生活の価値を損なう必要はない、と主張する哲学的エッセイが、現存する最も優れた数学者の一人として広く認められているUCLAの数学者テレンス・タオのブログに掲載され、広く注目を集めた。 11月2日に公開された「AI時代のEgoless Mathematics」は、コンピュータ科学者のKarthik C.S.氏、Amit Sahai氏、Jie Xue氏によるゲスト投稿で、Tao氏はAIを使用して出版用にテキストを変換したと述べている。このエッセイはすぐにハッカーニュースに掲載され、そこで読者はその中心的な主張、つまり数学は私たちが生まれる前から美しかった、そしてその価値は誰が発見したかに依存しない、という主張について議論した。

この作品は、数学における機械支援が目新しいものからインフラストラクチャーに移行した瞬間に到着します。 AI の助けを借りて検証された正式な証明、機械が生成した推測、研究レベルの成果に貢献する AI システムにより、現役の数学者は機械に何ができるかだけでなく、答えが「ほとんど」である場合にその職業に何が残るのかを問う必要に迫られています。このエッセイの答えは、今シーズンの AI ニュース速報 に関する見解の中でも異例です。機械に対して人間の重要性を守る代わりに、その競争を完全に放棄することを主張しています。

数学の 2 つの視点、1 つの圧力点

著者らは、数学者が自分たちの主題（概念の導入、公理の選択、理論の構築）を発明するのか、あるいはそれらとは独立して存在する真理を発見するのかという、数学哲学における最も古い分裂から始める。彼らは、プラトン的な見解は、その独立性について自然な説明を与えている、「誰かがその事実を証明する前に、無限に多くの素数が存在した」と書いている。数学的真理は私たちの認識を待つことも、認識から権威を受け取ることもありません。

彼らは、発見とは受動的なことではない、と警告する。化石を探す古生物学者は、どこを発掘するかを決定し、技術を開発し、不完全な遺跡の重要性を認識しなければなりません。同様に、数学的な発見には、以前は見えなかった構造が見えるようになる言語とフレームワーク全体の発明が必要になる場合があります。真実は私たちの前にあります。彼らへのルートはずっと人間です。

その基礎に基づいて、エッセイはその重要なポイントを構築します。つまり、正しい導出は、その重要性の理解と同じではありません。公理的なシステムは無限に多くの演繹を可能にしますが、それらを生み出す能力は、価値のある調査の方向性を提供しません。 「数学的記述は形式的には正しいかもしれないが、啓蒙的ではないかもしれない」と著​​者らは書いている。 「私たちは無数の定義を導入し、それに関する無数の記述を証明することができます。なぜ 1 つの定義が解明されるのでしょうか?」これはまさに、AI システムが正当だが動機のない結果を公式リポジトリに大量に送り込むたびに浮上する疑問です。

機械による価値の定義の罠

このエッセイの最も鋭い議論は、現在の AI に関する議論で一般的な動き、つまり機械がまだできないことには後退することで人間の価値を保護することを目的としています。 「創造性、直観、味覚といった人間特有の能力に単純に避難するだけでは対応できない」と著​​者らは主張する。 「機械に対して優位性をもたらすという主な理由でこれらの能力に価値を置くとしたら、私たちは知的価値についての同じ概念に囚われたままになります。なぜ私たちが追求する価値は、他の誰かや何かよりもその能力が優れているかどうかに依存する必要があるのでしょうか?」

彼らは学問生活そのもののインセンティブ構造にまで批判を広げている。出版物、引用、賞は有益な指標であることは著者も認めていますが、それらが作品の価値を定義すると病的になります。そのように測定すると、数学者は生産能力の集合体となり、数学はその成果物になります。つまり、人間を上回って生産した機械が単純に勝つという構図になります。このエッセイは、タイトルに挙げた代替案を提案している。それは、真実を生み出す際の優位性からではなく、真実との接触から価値が生まれる実践である、無我の数学である。

そのような見方の下では、AI による発見は悲しみや地位の不安のきっかけにはなりません。 「真実はアクセスできるようになりました。その価値は私たちの著者の不在によって損なわれることはありません」と著者は書いています。彼らはこの論文を、現在多くの数学学部を二分している二つの陣営（AIツールに熱心な学部と原則的に棄権する学部）の間の平和条約であるとさえ提案し、両者が数学自体に対する同じ根本的な取り組みを反映している可能性があることを示唆している。

終了するラマヌジャンの思考実験

このエッセイは数学の歴史から導き出された思考実験で終わります。ラマヌジャンは「方程式は、神の考えを表現していない限り、私にとって意味がない」と述べたと伝えられている。これは著者らがロバート・カニゲルの1991年の伝記『無限を知った男』（1991年出版、1992年版の投稿で引用）から引用した一節である。もし彼が今生きていて、数学における AI の進歩を目の当たりにしていたら、それが数学者としての彼の目的にとって何を意味するのかについて動揺するでしょうか?

著者たちは自分たちの立場について正直です。 「このエッセイの著者である私たちは、そのような無我の境地にはまだ程遠いです」と彼らは認め、このエッセイの理想を彼らが目指したいものとして述べています。そして彼らは、こうしたことはすべて数学者に聖人になるよう求めているように聞こえるという明らかな反論を予想している。 「美徳を高め、自分自身の重要性への執着を手放すことを求めている限り、その印象は真実から遠く離れていない」と彼らは書いており、ライバルよりも上位にランクされる満足感よりも、理解する喜びの方が永続的であると主張している。

この議論が現役の数学者を納得させるかどうかは別の問題だが、論文のコメントスレッドには、学問的キャリアの経済学が哲学を贅沢なものにしていると考えている懐疑論者がたくさんいることが示されている。しかし、現時点の文書として、それは現実のものを捉えている。AIの進歩に最も近い分野こそ、その仕事が重要である理由を明確に表現することを最も強いられている分野であり、数学界で最も注目されている声の1つが、ベンチマーク、生産性、国内競争について一度も言及しない答えに今そのプラットフォームを貸している。

---

AI の先を行く

最新の AI ニュース、分析、画期的な情報をすべて 1 か所で入手できます。

AI ニュースをもっと読む→