虎嗅

人類の数学研究はAIに取って代わられるのでしょうか?

原文:人类的数学研究要被AI接管了?

一、核心内容の迅速なまとめ

最近、テクノロジー業界で大きなニュースが飛び交っています。OpenAIは未公開の内部研究用の大規模なモデルを使用し、1万個のAIエージェントが協力して、世界中の数学界が90年も解決できなかった「ナビエ=ストークス方程式の存在性と滑らかさ」という問題をわずか88時間で解きました。この問題は「ミレニアムの7大数学難問」の一つです。計算には何千万冊もの書籍分に相当する情報量が消費され、その後、数学界で認められている自動検証ツールを使って17時間かけて妥当性のチェックが行われました。

しかし、この記事の本当の焦点はAIの数学的能力の強さを誇示することではなく、この出来事を通じて、一般人でも避けられない3つの問題を深く掘り下げています:

1. OpenAIがこれを行ったのは数学の発展を促進するためではなく、最大の競争相手であるAnthropicに対して自社のモデルの強さを誇示するためだけだった。

2. 「数学者が失業する」という最初の反応は考えすぎです。AIによる力任せの問題解決手法は、人類が何千年もかけて築いてきた数学の体系を根本から破壊する可能性がある。

3. これは実際には警鐘である。AIの能力が人間の理解力を超えた場合、AIが製造した飛行機や原子力発電所、新薬の背後にある論理を私たちは理解できなくなる。この大規模モデルの軍拡競争は、誰もが準備していなかった臨界点を静かに超えてしまったのだ。

---

二、分かりやすい解説

1. OpenAIが行ったことの実際の規模を説明しましょう

ニュースに出ている数字が理解しにくいかもしれませんが、簡単に言うと:

  • 1万個の並行処理可能なAIエージェント=それぞれが異なる役割を持つ1万のAI数学者が同時に動いており、アイデアを考えたり、計算をしたり、欠陥を探したりしていた。
  • 270万件のメッセージ=これらのAIが互いに議論し、欠陥を指摘し、結論を合わせるためのやり取りで、一流の数学研究所が何百年もかけて行う議論量を数日でこなしたに等しい。
  • 1300億個の出力トークン=通常の厚さの本1000万冊分のテキスト量に相当し、人類がこれまでに発表したすべての数学関連の論文や教科書、ノートを何十回も繰り返し読み込んだことになる。これは人間が思いつかなかった無数の問題解決方法を網羅したものだ。

皮肉なことに、OpenAIの目的は数学研究ではなく、単に競争相手に対して自社の技術の優位性を示すためだけだったのだ。

2. 「数学者が失業する」というのは誤解です。本当の損失は「探求の喜び」を失うこと

多くの人が「数学者はもう必要ない」と考えがちだが、それは間違っている。人類が何百年もかけて数学の難問を解いてきたのは、単に答えを得るためだけではない。例えば、フェルマの大定理を解く過程で、数学者たちは新しい数学ツールを開発し、新しい数学分野を創造した。これらのツールは暗号学やコンピュータサイエンスの基盤となり、その価値はフェルマの大定理を解くこと自体よりもはるかに大きい。また、数学者にとっては論理を追いかけて結論に至る過程そのものが最大の喜びだ。

しかし、AIの問題解決手法は、まるで鍵を開けるために何年もかけてその構造を研究し、万能の鍵を作ろうとするのに対し、AIは力任せで鍵を開けてしまう。私たちはその過程を理解できず、問題解決の喜びも感じられない。これは人類の数学の発展にとって非常に限定的な価値しかない。

3. 最も恐ろしい結果:数学に「人間が追いつけない断絶が生じる」

AIによる問題解決手法が続けば、予想もしていなかった問題が起こるだろう。AIが1日で人間が何百年もかけても解けなかった難問を解き、その証明を出す可能性がある。人間の数学者が一生かけても100件しか証明を見ることができないだろう。AIが導き出す論理は非常に複雑で、人類の理解を超えている。例えば、スマートフォンのソースコードを清の時代の最も優秀な学者に渡しても、彼には理解できないだろう。結果として、AIが持つ膨大な数学知識を人間は理解できず、何千年も受け継がれてきた論理の連鎖が断たれてしまう。

4. 「AIが作った飛行機に乗る勇気はあるか?」――それはSFではなく、すぐに直面する現実の問題

記事で挙げられた例は杞憂ではない。現在の民間航空機の制御コードや部品の設計論理は人間のエンジニアが完全に理解しており、問題が発生してもその原因をすぐに特定できる。しかし、AIが完全に自律的に設計した飛行機の設計論理には人間が理解できない隠された要素が含まれているかもしれない。その安全性をどう保証できるのか?AIに安全テストを任せることもできない。現在のAIはテキストの作成や画像処理、チャットなどに使われているが、重大な問題が発生した場合、人命に関わる。

5. この出来事の本質:大規模モデルの軍拡競争は防備のない臨界点を超えた

以前は大規模モデルのスケーリング則(計算能力やパラメータの増加による性能向上)について議論されていたが、資源を投入することで人間の最高の知的能力に到達できるとは誰も思っていなかった。OpenAIとAnthropicは市場や評価、業界の発言権を争うためにさらに資源を投入するだろう。その結果として、人間が理解できない新薬や新しい物理理論が出てくるかもしれない。現在の法律や倫理、安全規制では対応できない。これはまるで子供たちが爆竹を競い合っているようなものだが、うっかり原子爆弾の信管に火がついてしまうかもしれない。安全規則を整える時間は想像以上に短い。