数学者たちがOpenAIのボイコットを呼びかけ、なぜAnthropicは称賛されるのか

数学者たちがOpenAIのボイコットを呼びかけ、なぜAnthropicは称賛されるのか

OpenAIが大量の新しい数学的成果を発表した翌日、国際的な数学組織がこの会社との協力を止めるよう同業者に公に呼びかけました。一体何が起きたのか、そしてなぜAnthropicが対照的な例として引き合いに出され続けるのかを見ていきます。

何が起きたのか

2026年10月6日、OpenAIはGitHub上で巨大なデータセットを公開しました。722本の原稿をまとめた372の新しい数学的成果のグループで、これまで公開されたことのない社内モデルによって生成されたものです。このモデルには約4000の未解決問題が与えられ、そのうち解けたのはわずか5パーセント程度でしたが、残された成果はそれでも衝撃的なもので、その中には理論計算機科学で数十年も数学者を悩ませてきた難問**ユニークゲーム予想(Unique Games Conjecture)**を証明したとされる結果も含まれていました。

その翌日、10月7日、人間のための数学協会(Association for Human Mathematics、略称AHM)は公式声明を発表し、700本以上の原稿を一度に公開することを真の学術的貢献ではなく「権力の誇示」だと呼び、数学者にOpenAIとの協力をやめるよう呼びかけました。声明の中で最も鋭い一文はこうです。「数学者たちはこの仕事が行われることを求めていなかった。」

なぜこれほど怒りが深いのか

問題はAIが数学の問題を解いたことではなく、その発表の仕方にあります。10月7日時点で、主要な結果のうちコンピューターで検証されたのは約42パーセント(719件中300件)だけでした。検証にはLeanという、数学的証明の論理的なステップを一つひとつ確認するために作られたプログラミング言語が使われています。Leanは推論の連鎖が矛盾していないことを確認できますが、それは人間が実際にその証明を理解したこととは違います。722本の原稿の大部分は、ほとんど誰にも読まれておらず、まして十分に理解されてもいません。

さらに、このリポジトリは結果を生成するために使われたプロンプトを公開しておらず、個々の問題にどれだけの計算資源が使われたかも明らかにせず、背後にあるモデルの名前さえ示していません。相互検証によって成り立つ分野において、この不透明さは多くの数学者に、一企業の後始末を黙ってさせられているような感覚を与えました。

今回が初めての摩擦ではありません。さかのぼる9月10日にも、OpenAIは771人の数学者が抗議の公開書簡に署名したことを受けて、カリフォルニア工科大学のMathathonコンペティションへのスポンサーシップを撤回していました。

「数学の黙示録」、ある専門家の見方

計算複雑性理論を専門とする著名な計算機科学者**スコット・アーロンソン(Scott Aaronson)は、自身のブログShtetl-Optimizedでこの出来事を「マソカリプス(Mathocalypse)」と呼びました。彼はこれを「数学史上最も大きな日の一つ」**と表現する一方で、はっきりと問題点も指摘しています。多くの証明にはLeanのお墨付きが付いているものの、ほとんど誰もまだそれを理解していないというのです。

アーロンソンはまた、2つのAI企業が数学研究を発表する方法について興味深い対比を示しました。

• OpenAI方式: まだ「粗い」状態の結果を一度に大量公開し、数学コミュニティに後から追いつき検証させる。
• Anthropic方式: より丁寧に選別し、人間の数学者が前に出て結果を発表し責任を持つ形にする。例えばAlmanとWilliamsの研究では、Anthropicのモデルが重要なアイデアを提供したとされる一方、解釈と検証は引き続き人間が担っています。

これがあなたにとって何を意味するのか

数学者である必要はなく、誰でもここから学べることがあります。次に「AIが難問を解いた」というニュースを目にしたら、次の3点に注目してください。誰が検証したのか、どうやって検証したのか、そして誰が他の人にそれを説明できるのか。Leanのようにコンピューターが論理的に矛盾がないと確認した結果が、人間が実際に理解し信頼しているものとは限りません。これは全く別の話なのです。

この出来事は、大手AI研究所が成果を発表する際に、みな同じ方法を選んでいるわけではないことも示しています。あるところはスピードと規模を重視し、あるところは慎重さと透明性を重視します。そしてその選択が、専門家コミュニティがどれだけ彼らを信頼するかを直接左右します。これはAnthropicが最近更新したClaudeの利用ポリシーも、別の形で目指していることでもあります。

知っておくべき限界

この論争はまだ続いており、722本の原稿の中の多くの結果は、Leanのお墨付きがあるものも含めて、数学コミュニティによる十分な確認がまだ済んでいません。「AIが数学を解決した」といった煽情的な見出しを見かけたら、それはAI研究を責任を持って検証し発表する方法という、もっと大きな物語のほんの一部だと考えてください。このテーマについては、より基礎的なレベルでAIとは何かという記事でも解説しています。

よくある質問

Leanとは何で、なぜそんなに重要なのですか? Leanは数学的証明を一段階ずつ書いて検証するためのプログラミング言語で、推論のステップが互いに矛盾していないことを確認する自動審判のような役割を果たしますが、証明の意味を人間に説明してはくれません。

ユニークゲーム予想とはどんな種類の問題ですか? 理論計算機科学における予想で、ある種の最適化問題がどれほど難しくなり得るかに関するものです。数学者たちは数十年にわたってこれを証明または反証しようとしてきました。

AHMのボイコットの呼びかけには強制力があるのですか? これは職業倫理上の呼びかけであり、数学者に対して同様のプロジェクトでOpenAIと協力したり支援したりしないよう促すものであって、正式な禁止令ではありません。

では、このAIは本当に数学を解いたのですか? 部分的にはそうです。推論のステップはLeanによって矛盾がないと確認されましたが、ほとんどの結果の完全な意味がまだ人間によって理解され検証されていないため、専門家コミュニティは依然として慎重な姿勢を保っています。

これはあなたが日常的にChatGPTやClaudeを使うことに影響しますか? 直接的には影響しません。これは高度な数学研究の話ですが、AI企業が透明性をどう扱うかという実際の違いを浮き彫りにしており、長期的にどのAIツールを信頼するかを決める際に考慮する価値があります。

#AI #OpenAI #Anthropic #数学 #AIニュース