二つのブレイクスルー

OpenAI、エルデシュ単位距離予想を覆す（2026年5月）

2026年5月20日、OpenAIは、社内の汎用推論モデルが、1946年にポール・エルデシュが提起した「エルデシュ単位距離予想」に対する反例を生成したと発表した 。この予想は、平面上のn個の点において、ちょうど単位距離（1）となる点のペアの最大数に関するものだ。80年にわたり、数学者たちは最適な配置はほぼ正方形の格子状になるという信念を持っていた 。

OpenAIモデルはこの信念を覆した。同モデルは、格子による従来の下限を多項式的に改善する無限の点配置ファミリーを生成した。すなわち、無限に多くの n に対して、単位距離ペアの数が n^(1+δ)（δ はある固定された正の定数）よりも速く増加することを証明したのだ 。この証明には、ゴロド・シャファレヴィッチ理論や無限類体塔といった高度な代数的整数論が用いられており、これらの道具をこの幾何学問題に結びつけた者はいまだかつていなかった 。

この結果は、トーマス・ブルームを含む外部の数学者グループによって検証された。ブルームは、OpenAIの過去の誤った主張を公に暴露した研究者でもある 。人間が読み解きやすくした論文はarXivに掲載され 、プリンストン大学のウィル・ソーウィンはすぐに定数を改良し、指数が少なくとも n^1.014 であることを示した 。フィールズ賞受賞者のティモシー・ガワーズも、証明を検証した9人の外部数学者の一人である 。

AnthropicのClaude Fable 5、ヤコビアン予想を覆す（2026年7月）

2026年7月19日、Anthropicに所属する数学者レヴェント・アルペーゲ氏がX（旧Twitter）上で、AnthropicのAIモデル「Claude Fable 5」を用いて、87年の歴史を持つヤコビアン予想の反例を発見したと発表した 。この予想は、1939年にオット＝ハインリッヒ・ケラーが提示した代数幾何学の難問で、フィールズ賞受賞者のスティーブン・スメールが1998年に選定した「21世紀の難問リスト」の16番目にランクされている。その内容は、「C^n から C^n への多項式写像で、ヤコビ行列式が非ゼロの定数であれば、その写像は大域的に可逆である」というものだ 。

発見された反例は、C³ から C³ への、わずか216文字で記述された極めて簡潔な多項式写像である。この写像はヤコビ行列式が全域で -2 と一定でありながら、3つの異なる入力ベクトルを同じ出力に写すため、大域的可逆性が成立しないことが示された 。アルペーゲ氏の投稿から数時間のうちに、世界中の数学者らが独自にこの結果を検証し、24時間以内に形式証明支援系「Lean」による検証も完了した 。

著名な数学者であるテレンス・タオ氏やティモシー・ガワーズ氏もこの成果を称賛した 。タオ氏は反例の幾何学的分析を公開し、数学コミュニティ全体で検証が広く確認された 。なお、二次元（n=2）の場合の予想は依然として未解決である 。

これらの結果が示す数学の未来

AIは真に独創的な証明を生成できる

これらのブレイクスルーは、いずれも単なる計算支援ではなく、深い概念的飛躍を含んでいる。単位距離予想の反証では、AIが代数的整数論と組合せ幾何学という、それまで誰も結びつけなかった分野を接続した 。ヤコビアン予想の反例では、特定の代数的性質を持つ繊細な多項式写像の構築が必要とされた 。

人間とAIのパートナーシップモデルが力を発揮

これらの成果は、AIが数学者の「代替」ではなく「創造的協働者」として機能する未来を示唆している。ヤコビアン予想のケースでは、熟練した数学者がAIを方向付け、その出力の重要性を認識した 。OpenAIのケースでは、モデルはより自律的に動作したものの、人間による検証が依然として必要だった 。この協働モデルにより、AIは人間が効率的に探索できない広大な解空間を探求し、人間は直感、判断、検証を提供するという役割分担が可能になる。

加速するペース

OpenAIは後に、同じクラスの内部推論モデルが、高次元幾何学、符号理論、群論、作用素環論、量子複雑性理論、格子暗号、極値組合せ論など、数学と理論計算機科学における10の主要問題について進展をもたらしたと発表した 。観測筋は、AIが牽引する数学の「新たな黄金時代」が到来したと評している 。

残る重要な注意点

ヤコビアン予想の反例は次元3以上にのみ適用され、元の予想は次元2では依然として未解決である 。また、一部の結果はまだ伝統的な査読プロセスを経ておらず、全ての主張が完全に公開されているわけではない 。しかし、全体的な方向性は明らかだ。AIは数学の「アシスタント」から「発見者」へと変貌を遂げ、研究におけるその役割は急速に拡大していくだろう。

より大きな展望

これらの2026年のブレイクスルーは、AIの数学的能力における急速な進歩の延長線上にある。2025年7月、AIモデルは国際数学オリンピック（IMO）の問題6問中5問を初めて解決した 。2026年初頭までに、モデルはIMOで金メダル水準の成績を達成している 。そして今や、AIは研究の最前線で成果を上げ、数学者のキャリアを定義づけるような問題を解いているのだ。

数学者テレンス・タオ氏が指摘したように、ヤコビアン予想の結果は人間とAIの協働におけるマイルストーンである 。モデルは単独で作業したわけではないが、このパートナーシップは、人間も機械も単独では達成し得なかった結果を生み出した。AIによる探索に導かれた人間の直感が、形式証明支援系によって検証されるというこのモデルこそ、数学的発見の未来を定義するものとなるだろう。

二つのブレイクスルー

OpenAI、エルデシュ単位距離予想を覆す（2026年5月）

2026年5月20日、OpenAIは、社内の汎用推論モデルが、1946年にポール・エルデシュが提起した「エルデシュ単位距離予想」に対する反例を生成したと発表した 。この予想は、平面上のn個の点において、ちょうど単位距離（1）となる点のペアの最大数に関するものだ。80年にわたり、数学者たちは最適な配置はほぼ正方形の格子状になるという信念を持っていた 。

OpenAIモデルはこの信念を覆した。同モデルは、格子による従来の下限を多項式的に改善する無限の点配置ファミリーを生成した。すなわち、無限に多くの n に対して、単位距離ペアの数が n^(1+δ)（δ はある固定された正の定数）よりも速く増加することを証明したのだ 。この証明には、ゴロド・シャファレヴィッチ理論や無限類体塔といった高度な代数的整数論が用いられており、これらの道具をこの幾何学問題に結びつけた者はいまだかつていなかった 。

この結果は、トーマス・ブルームを含む外部の数学者グループによって検証された。ブルームは、OpenAIの過去の誤った主張を公に暴露した研究者でもある 。人間が読み解きやすくした論文はarXivに掲載され 、プリンストン大学のウィル・ソーウィンはすぐに定数を改良し、指数が少なくとも n^1.014 であることを示した 。フィールズ賞受賞者のティモシー・ガワーズも、証明を検証した9人の外部数学者の一人である 。

AnthropicのClaude Fable 5、ヤコビアン予想を覆す（2026年7月）

2026年7月19日、Anthropicに所属する数学者レヴェント・アルペーゲ氏がX（旧Twitter）上で、AnthropicのAIモデル「Claude Fable 5」を用いて、87年の歴史を持つヤコビアン予想の反例を発見したと発表した 。この予想は、1939年にオット＝ハインリッヒ・ケラーが提示した代数幾何学の難問で、フィールズ賞受賞者のスティーブン・スメールが1998年に選定した「21世紀の難問リスト」の16番目にランクされている。その内容は、「C^n から C^n への多項式写像で、ヤコビ行列式が非ゼロの定数であれば、その写像は大域的に可逆である」というものだ 。

発見された反例は、C³ から C³ への、わずか216文字で記述された極めて簡潔な多項式写像である。この写像はヤコビ行列式が全域で -2 と一定でありながら、3つの異なる入力ベクトルを同じ出力に写すため、大域的可逆性が成立しないことが示された 。アルペーゲ氏の投稿から数時間のうちに、世界中の数学者らが独自にこの結果を検証し、24時間以内に形式証明支援系「Lean」による検証も完了した 。

著名な数学者であるテレンス・タオ氏やティモシー・ガワーズ氏もこの成果を称賛した 。タオ氏は反例の幾何学的分析を公開し、数学コミュニティ全体で検証が広く確認された 。なお、二次元（n=2）の場合の予想は依然として未解決である 。

これらの結果が示す数学の未来

AIは真に独創的な証明を生成できる

これらのブレイクスルーは、いずれも単なる計算支援ではなく、深い概念的飛躍を含んでいる。単位距離予想の反証では、AIが代数的整数論と組合せ幾何学という、それまで誰も結びつけなかった分野を接続した 。ヤコビアン予想の反例では、特定の代数的性質を持つ繊細な多項式写像の構築が必要とされた 。

人間とAIのパートナーシップモデルが力を発揮

これらの成果は、AIが数学者の「代替」ではなく「創造的協働者」として機能する未来を示唆している。ヤコビアン予想のケースでは、熟練した数学者がAIを方向付け、その出力の重要性を認識した 。OpenAIのケースでは、モデルはより自律的に動作したものの、人間による検証が依然として必要だった 。この協働モデルにより、AIは人間が効率的に探索できない広大な解空間を探求し、人間は直感、判断、検証を提供するという役割分担が可能になる。

加速するペース

OpenAIは後に、同じクラスの内部推論モデルが、高次元幾何学、符号理論、群論、作用素環論、量子複雑性理論、格子暗号、極値組合せ論など、数学と理論計算機科学における10の主要問題について進展をもたらしたと発表した 。観測筋は、AIが牽引する数学の「新たな黄金時代」が到来したと評している 。

残る重要な注意点

ヤコビアン予想の反例は次元3以上にのみ適用され、元の予想は次元2では依然として未解決である 。また、一部の結果はまだ伝統的な査読プロセスを経ておらず、全ての主張が完全に公開されているわけではない 。しかし、全体的な方向性は明らかだ。AIは数学の「アシスタント」から「発見者」へと変貌を遂げ、研究におけるその役割は急速に拡大していくだろう。

より大きな展望

これらの2026年のブレイクスルーは、AIの数学的能力における急速な進歩の延長線上にある。2025年7月、AIモデルは国際数学オリンピック（IMO）の問題6問中5問を初めて解決した 。2026年初頭までに、モデルはIMOで金メダル水準の成績を達成している 。そして今や、AIは研究の最前線で成果を上げ、数学者のキャリアを定義づけるような問題を解いているのだ。

数学者テレンス・タオ氏が指摘したように、ヤコビアン予想の結果は人間とAIの協働におけるマイルストーンである 。モデルは単独で作業したわけではないが、このパートナーシップは、人間も機械も単独では達成し得なかった結果を生み出した。AIによる探索に導かれた人間の直感が、形式証明支援系によって検証されるというこのモデルこそ、数学的発見の未来を定義するものとなるだろう。