定理経済の崩壊

2026年7月2日原文(davidbessis.substack.com)

概要

数学の本質は 明快さと理解 であり、定理そのものではないという Bill Thurston の思想。
著者自身の経験から、定理の証明よりも 新しい概念枠組み の発見が本当の難しさであることを強調。
数学界に根付く「 定理至上主義」や説明・直観の軽視についての批判。
公式数学 と「 秘密の数学」という二重構造の指摘と、直観や意味づけの重要性。
数学の未来やAIとの関係、そして 数学的価値観の変化 への懸念。

数学の本質：明快さと理解

Bill Thurston の言葉「数学の産物は明快さと理解であり、定理そのものではない」から始まる問題提起。
著者自身が学会発表で 未発表の定理 をスライドの片隅に書き残したエピソード。
定理の証明や発表よりも、 新しい枠組みや定義 を作ることの方が真の創造的困難であるという自覚。
Garside理論 における自身の仕事や、定義2.4・9.3の重要性。
定理の発見よりも、その背景にある 直観や言語の構築 が数学の進歩に不可欠であること。

数学界の価値観と「秘密の数学」

数学の公式な側面（ 公式数学）と、内面的・人間的側面（ 秘密の数学）の対比。
公式数学： 公理から定理を機械的に導く 世界、真偽が二値的で論理が支配。
秘密の数学： 直観・意味づけ・人間的成長、公式数学の外側にあるが本質的な部分。
数学者社会に根付く「 直観クラブの掟」や、説明や定義が軽視される風潮。
G. H. Hardy の「説明は二流の仕事」という有名な言葉と、その裏での数学者の本音。

Thurstonの反論と数学の社会的意義

MathOverflowでの Bill Thurston による、若い数学者への温かい助言。
- 数学への貢献は、 人類や社会全体への貢献 という視点が重要。
- 数学の本当の成果は 理解の深化やコミュニティの活性化 にある。
- Fermatの最終定理 や Poincaré予想 自体よりも、それらがもたらした新しい理解や発展の方が重要。
数学は 生きたコミュニティ の中でこそ存在し、知識の伝達と共有が本質。

数学の意味と「概念主義」

数学の意味は 我々の認知現象 であり、形式的な記号操作に 意味を投影 することで生まれる。
形式主義 と プラトン主義 の対立を超え、数学を人間の 認知インフラ と捉える「概念主義」。
この考え方が広まらなかった理由として、 精神主義的世界観 や数学者社会の 名誉コード の存在。
Thurston 自身も「名誉コード」を乗り越えるのは難しかったと告白。

数学界の名誉コードとその功罪

「 定理を証明してこそ一流」という価値観（ Hardyの呪い）が学問としての数学を支えてきた歴史。
この名誉コードは、 学問的健全性やメリトクラシー 維持に一定の役割を果たしてきた。
しかし、 直観や説明、意味づけの軽視 が、現代の数学や社会との接点を弱めている現状。
AIの進展 や社会的価値観の変化に直面し、今後の数学のあり方への懸念と希望。

このように、数学の本質や価値観、そして社会との関わり方について、多面的かつ深い問題提起がなされている。

Hackerたちの意見

すごく考えさせられる。この記事は、よく練られた論理を感じさせるし、森と木の両方を見ているし、専門知識がたっぷり詰まってるね。

これには参った。正しいけど、森を見失ってる。確かに数学は理解を深める学問だけど、内向的なんだよね。全体の分野は理解しようとすることが目的だけど、その学問自体は理解されようとはしない。いや、それは「君の仕事であって、彼らの仕事じゃない」ってことだから、だからこの分野は苦しんでるんだ。感情的なバカが建設的なコミュニケーションを壊す文化の中でね。

└

「え？これが議論の主な要点だと思ってたんだけど。数学は実際には、内部的にも外部的にも証明よりも概念的な進歩と理解を重視している。著者は、彼が提案していることを『千年にわたるプロジェクトの再ブランディング』と呼んでいる。」

ちょっと脱線するけど、この記事を読んで考えさせられた。今後、公開される科学が減るのかな？民間の企業や政府がAIリソースへのアクセスを一部の科学者に制限して、新しい知識を独占するようになるのかも。科学をオープンに進めるのが最善の戦略だったのは、地球上のすべての頭脳が科学に挑戦することに本当のメリットがあったからだけど、もしコンピュータが人間の科学コミュニティ全体の出力に匹敵するか、超えるようになったら、その方程式は変わるよね。悲しい展望だな。

└

知能は物語の一部に過ぎない。人々は実際に外に出て実験をしなきゃいけない。科学は理論だけじゃなくて、実験も重要なんだ。最高の科学は、実験が以前の仮定が間違っていたことを示すときに起こる。例えば、エーテルの仮定が否定されたマイケルソン・モーレーの実験みたいにね。AIは信じられないほど強力なツールだけど、観察の行為を置き換えることはできない。だから、未来にも科学者はいるし、ある程度のオープンサイエンスも続くと思う。複雑さの性質上、大規模な公共の調整が必要な実験（例えばCERNみたいな）もあって、それはオープンであることから恩恵を受ける。だけど、問題なのは若手研究者のキャリアのスタートだよね。大きな問題に取り組むところから始まるわけじゃなくて、通常は初期の研究者が本当に小さな問題を安価に解決することから始まる。資金が厳しい博士課程の学生にとっての最低限のハードルは、何らかの新しい理論に貢献することだと思う。たとえその学生が設備にアクセスできなくてもね。

└

地球上のすべての頭脳が科学に挑戦することに本当のメリットがあったからだけどこれは多くの科学者が自分に言い聞かせたり、祝賀のスピーチで話したりすることだよね。真実は、たくさんの科学がジャーナルの有料壁の後ろに隠されていて、「正式に承認された」（大学や政府の研究機関で働いているという意味で）科学者だけが簡単にアクセスできるってことだ。

└

「科学だけじゃないよ。今やデジタルなものを作っている人は、これまでにないほど自分の作品を公共のインターネットから遠ざけるように強く促されている。自分のユニークな作品のサンプルをオンラインにアップしたら、AIに数日で時代遅れにされちゃう。これは、インスピレーションやガイダンスを求めている人たちにとって大きな損失だね。」

└

もしコンピュータが人間の科学コミュニティ全体の成果に匹敵するか、それを超えることができれば、状況は変わるよね。そう、でもそれは誰かがASIに達したときで、すべてが変わる。今のところ、優れた研究者は自分の発見を基にして、AIにはできない方法で進められるんだ。

核心的な主張は、「本当の価値」は定理を生み出したり証明したりすることじゃなくて、それを理解することにあるってことみたい。AIは定理を生み出したり証明したりするのは得意かもしれないけど、人間に理解させるのは全くダメだよね。さらに悪いことに、人間はすでに証明された定理に興味を持たないから、結局人間には理解されない定理が残る。これが数学者にとって大きな懸念になるのもわかる。彼らは数学の美しさや、明白でない洞察を理解する知的満足が好きでこの分野に入ったんだから。でも、言い方を変えれば、これは君の問題みたいなもんだ。数学者じゃない私にとって、数学の主な価値は科学や技術での実用的な応用なんだよね。そして人間の生活における実用的な応用。暗号学の背後にある数学は全く理解できないけど、それが人類に提供してくれた実用的な価値には深く感謝してる。もしAIシステムが正確な定理証明を量産して、それを使って人間の生活の質を向上させるものを作れるなら、人間がその定理を理解していないことに全く気にしないよ。もしこれが君の美学を傷つけるなら、君の意見や好みを持つ権利はあるけど、それが社会的な問題になるわけじゃない。

└

それなら、AIが定理を理解するようにしないといけないね（そのための「世界」を構築するみたいな感じで - そうしないと、その定理を使う自信がどうやって持てるの？もし暗号学が存在しなかったけど数学があったら、どうやってそれを使うの？

└

彼らは数学の美しさが好きでこの分野に入ったんだよね…数学者じゃない私としては、数学の主な価値は科学や技術における実用的な応用だと思ってるんだけど、残念なお知らせがあるよ。数学者がやってる仕事の99%は、即座に応用できるものじゃないし、近い将来に応用の道が明らかになることもないんだ。暗号学の話をしたから、例えば数論を考えてみて。数千年前のユークリッドの時代から、明らかな実用的応用はないよ。数学を学ぶ動機はずっと宗教や哲学、レクリエーションだったし、応用はほとんど純粋な数学理論の発展の後にやっとついてきた。数論の場合、古代の人たちが基礎を築いた何千年後に、WW2の間に暗号学が発展したんだ。残念ながら、数学の応用を推進するのは真実の価値と理解であって、証明作業そのものじゃない。もしAI革命が数学の理解を生み出す機関を断ち切って、それを置き換えられなかったら、応用も消えてしまうだろうね。

Hacker Newsで議論の続きを見る

ハクソク