数学者テレンス・タオが語るAI証明の時代、チョークと飛行機の狭間で揺れる「英雄の時代」の終わり
The Chalk and the Airplane
LLMが難問の反例を次々と生み出す中、数学界は「証明の希少性から過剰へ」の転換に直面している。Terence Taoは、黒板と特別なチョークに象徴される「ロマン主義の時代」の終焉を指摘しつつ、大規模チームによる産業化の可能性を語る。一方で、博士課程の学生のパニックや資金獲得への不安、発見の喜びを奪われるという精神的な苦悩も噴出。数学は「黄金時代」を迎えるのか、それとも人間の科学研究が弱体化する「暗黒時代」へ向かうのか、その分岐点に立っている。
私たちは証明の希少性の時代から、証明の過剰の時代へと移行しつつある。何千年もの間、証明を得るのは困難で、理解と専門知識、少しの運、人との対話、文献の知識が必要だった。だからこそ普遍的に価値があった。そして今、私たちは近道を見つけてしまった。証明を手に入れてくれる機械を見つけたのだ。今や私たちは証明の洪水に溺れているが、かつて得ていた理解は得られていない。
- fwlr
今日の数学者たちに恩恵を分配する皇帝など存在しない。
いや、存在する。モデルの所有者が皇帝になるのだし、彼らがどう恩恵を分配するかについてはすでにいくつかの示唆が見られている――OpenAIのNavier-Stokesの成果を考えてみればいい。競合他社の従業員を除外することを条件に共著を申し出たではないか。
さらに著者の主張には微妙な運命論的誤謬が潜んでいる。「進歩は不可避である。これは進歩だ。ゆえにこれは不可避だ」。
しかしそうはならない。我々はこの進歩の事例を拒否し、進歩の不可避性によって別の選択肢を与えられるようにすることもできるのだ。
- criddell
> 現在の証明は事実上Oracleに依存しており、Oracleなんて廃止してしまえ！ それは数学ではない
Oracleへの依存は常に数学（そしておそらく物理学も）の最終局面になる運命だったのではないか？ 犬が微積分を決して理解しないのと同じように、我々が決して理解できない事柄は確かにあるのだろう。
- robotresearcher
> 今日の数学者たちに恩恵を分配する皇帝など存在しない。
これは、納税者か慈善財団のいずれかからの助成金にほぼ完全に依存している事業にとっては、非常に奇妙な見解だ。