ここ数ヶ月、数学界はOpenAIによる数百の新しい数学的知見の公開に対し、驚きと悲しみが入り混じった反応を示しています。これらの証明は、数論、論理学、理論計算機科学などの分野を網羅しており、人間の数学者が数十、あるいは数世紀にわたって未解決のまま放置してきた問題に取り組んでいます。この分野の多くの人々にとって、機械によって生成されたこれらの証明の急速な出力は、単なるツールというよりも、科学的探究の性質に対する存在論的な混乱のように感じられています。
Steven Strogatzのような数学者が述べるこの苦悩の核心は、科学を「工芸（craft）」として捉えるか、あるいは「対話（conversation）」として捉えるかの違いにあります。AIは、技術的な思考モードや隠れたパターンを見出す能力といった「工芸」の側面では優れていますが、人類の社会的・歴史的な「対話」を中断してしまいます。何世紀にもわたり、科学は、それぞれの発見が次の発見の基礎となる共同的で多世代にわたる努力でした。数学者たちは、機械が長年の難問を「粉砕」するとき、それは単にパズルを解いているのではなく、千年にわたる人間の対話を中断しているのだと主張しています。これは「技術的悲嘆」という感覚を生み出します。なぜなら、機械が発見者の役割を奪い、真理を求めるための人間の葛藤を無意味なものにしてしまうかのように感じられるからです。
この画像は、数学的発見の自動化が喪失感を引き起こすという、記事で説明されている「技術的悲嘆」の感情的な重みを表現しています。
名声の喪失や「地位の消滅」といった直接的な問題を超えて、より深い懸念として「発見の旅」の喪失があります。数学の喜びは、無知のベールを初めて剥ぎ取り、生の真実を初めて目にする第一人者になることにあると主張する者もいます。もし機械がこれらの真実を即座に提供できるのであれば、発見という人間の体験は脇へと追いやられるかもしれません。さらに、一度に公開される数百もの論文という膨大な出力量は、未検証の主張の妥当性について疑問を投げかけます。批判的な人々は、機械が「なぜ」それが機能するのかという人間中心の理解なしに結果を提供するとき、焦点が真理の追求から単なる信憑性のある出力の生成へと移り、「理解を伴わない知識」の風景を作り出すリスクがあると指摘しています。
この変化は重大なトレードオフを提示しています。AIは数学的事実の獲得を加速させることができますが、同時に、それらの事実に意味を与える人間中心の枠組みを侵食する可能性があります。課題は、科学における人間の役割が異なる形態の監視へと進化するのか、あるいは、話すことはできるが人間の推論における社会的・規範的なコミットメントには参加しない参加者によって、人間の発見の「対話」が根本的に変容してしまうのかという点です。不確実なのは、分野の技術的な「工芸」がこのような規模で自動化されるとき、科学における人間的要素、すなわち発見の社会的、感情的、反復的なプロセスが生き残れるかどうかです。