AIは数学研究をどう変え始めているのか──ChatGPTの支援で発見された「30年越しの反例」（2026年7月22日公開）
※AIによって構成の考案、内容が生成された記事です。正確性は保証できません。以下のリンクから原論文にアクセスできます。
近年、AIはプログラミングや文章生成だけでなく、数学研究そのものにも少しずつ入り込み始めています。
ここ数日内の出来事ですが2026年7月に、AnthropicのFable AIがヤコビアン予想の反例を発見したとされるニュースが世界中で話題となりました。もしその結果が数学界で正式に認められれば、AIが歴史的な未解決問題に新たな一歩を刻んだ事例として長く語られるでしょう。
しかし、その陰で同じく本日2026年7月22日に公開された興味深い論文があります。
"A Counter-Example to Batyrev's Conjecture on the Non-Negativity of Stringy Hodge Numbers"
という論文です。しかも著者は論文冒頭で、
"We present the following counter-example ... which was discovered with the assistance of OpenAI's ChatGPT."
と明記しています。
つまり、この反例はOpenAIのChatGPTの支援を受けて発見されたことが正式に論文へ記録されています。
もちろん、証明そのものは数学者による厳密な検証と既知の定理の積み重ねによるものですが、「AIが反例探索を支援した」という点では、現在話題となっているAIと数学研究の流れを考える上で非常に興味深い論文です。
Batyrev予想とは何だったのか
この論文を理解するためには、まずBatyrev予想を知る必要があります。
代数幾何学では、多様体に特異点が存在すると通常のホッジ理論だけでは十分に扱えない場合があります。
そこで1998年、Victor Batyrevは
Stringy E-function
という新しい不変量を導入しました。
さらに、この多項式の係数から
Stringy Hodge Number（ストリンギー・ホッジ数）
を定義しました。
これは通常のホッジ数を特異多様体へ拡張したような量です。
ところが、この量は普通のホッジ数とは少し違います。
通常のホッジ数は
コホモロジー群の次元
として定義されます。
一方、Stringy Hodge数は
特異点解消（Log Resolution）
Discrepancy
Motivic Integration
などを利用して組合せ的に定義される量でした。
そのため
「これは本当にコホモロジーの次元なのだろうか？」
という疑問は昔から存在していました。
しかし多くの重要な場合では、
Crepant Resolution
McKay Correspondence
Orbifold Cohomology
などによって
Stringy Hodge数＝実際のホッジ数
となることが証明されていました。
ホッジ数はベクトル空間の次元です。
したがって必ず
0以上
になります。
そこでBatyrevは1998年、
「Stringy Hodge数も常に非負ではないか」
という予想を提出しました。
その後約30年間、この予想は代数幾何学の重要な未解決問題の一つとして研究され続けます。
数十年にわたる研究
この予想を巡って、多くの研究者が様々な方向から研究を進めてきました。
例えば
Motivic Integration
Mirror Symmetry
McKay Correspondence
Orbifold Cohomology
など、多くの理論がこの予想と密接に関係しています。
また、
トーリック多様体
三次元多様体
有限群商特異点
など、多くの特殊な場合では「確かに非負になる」ことが証明されてきました。そのため、「一般の場合もきっと正しいのだろう」という期待が自然に形成されていました。
しかし著者らは近年、Artin Stackを利用した新しいStringy Cohomologyを構成する研究を進めていました。その中で、
「どうも通常のコホモロジーとは違う振る舞いをしている」
という兆候が見え始めます。そして今回の論文で、その予想が実際には成立しないことを示しました。
反例の構成
驚くことに、反例は非常に自然な対象から作られます。
まず
種数3の滑らかな曲線
を考えます。
その上の
ランク2半安定ベクトル束のモジュライ空間
$$
M_0
$$
を利用します。
これは代数幾何学では以前から非常によく研究されてきた空間です。
そして
$$
X=M_0\times \mathbf P^1
$$
を考えます。
すると
7次元
Gorenstein
Terminal singularity
など、Batyrev予想が対象としている条件をすべて満たします。
つまり、「特殊な人工的反例」ではなく、
既によく研究されている自然な幾何学的対象
だったことが、この論文の美しい点です。
証明の流れ
論文は非常に短く、実質4ページしかありません。
証明も驚くほど明快です。
① 既知の定理を利用
まずKiemとLiが以前に計算した
Stringy E-function
を引用します。
これは既に文献に存在する公式です。
② P¹を掛ける
次に
$$
X=M_0\times\mathbf P^1
$$
なので
$$
E_{st}(X)=E_{st}(M_0),E(\mathbf P^1)
$$
（論文通りなら以下のようです。）
$$
E_{st}(X;u,v)=E_{st}(M_0;u,v),E(\mathbf P^1;u,v)
$$
を利用します。
ここで
$$
E(\mathbf P^1)=1+uv
$$
です。
すると
もともと分母に存在していた
$$
1+uv
$$
がちょうど打ち消されます。
結果として
Stringy E-functionは多項式になります。
これはBatyrev予想の仮定を満たすために重要なステップです。
③ 係数を読む
あとは完成した多項式を見ます。
その中で
$$
u^2v^5
$$
の係数が
$$
1
$$
であることが分かります。
Batyrevの定義では
$$
h_{st}^{p,q}=(-1)^{p+q}\times\text{(係数)}
$$
（より正確には、以下の通り）
$$
h_{st}^{p,q}=(-1)^{p+q},[u^pv^q],E_{st}(X;u,v)
$$
なので
$$
h_{st}^{2,5}=(-1)^7\cdot1=-1
$$
となります。
これでStringy Hodge Numberが負になったことが示されます。
以上で証明終了です。
数十年間未解決だった予想が、最後は係数を読むだけで決着するというのも、数学らしい美しさを感じます。
この反例が意味すること
今回の論文の本当の価値は、
単に「負になった」ことではありません。
もっと重要なのは、これまで期待されていた
「Stringy Hodge数はコホモロジーの次元なのではないか」
という見方が一般には成立しないことを示した点です。
コホモロジー群の次元は、定義上0以上の整数です。
しかし、今回の反例ではStringy Hodge数が負になりました。
つまり、一般の場合には純粋なコホモロジーの次元として理解することはできません。
著者らは近年、
Artinスタックを用いたStringy Cohomologyを構成しており、そのコホモロジーは混合（mixed）Hodge構造を持つことを示していました。
今回の反例は、その「混合性」が単なる技術的な都合ではなく、本質的なものであることを裏付けたとも言えます。
ChatGPTは何をしたのか
論文には
ChatGPTの支援によって反例を発見した
とだけ書かれています。
具体的なやり取りは公開されていません。
そのため詳細は分かりませんが、少なくとも
ChatGPTが証明を書いた
という意味ではありません。
むしろ、
候補となる例の探索
既知の文献との照合
発想の補助
など、人間の数学者の探索を支援する役割を果たした可能性が高いと考えられます。
その後、
数学者自身が既知の定理を用いて厳密に証明を構成しています。
これは、現在話題となっているFable AIのような「自律的な反例探索」とは異なるスタイルですが、AIが数学研究の現場で実際に役立っていることを示す好例と言えるでしょう。
おわりに
現在はAnthropicのFable AIによるヤコビアン予想の反例が大きな話題となっています。
一方で、本日22日にはOpenAIのChatGPTが支援した反例研究も発表（公開日であり投稿日とは違います）され、約30年間信じられてきたBatyrev予想が覆されました。
AIが数学者に代わって定理を証明する時代は、まだ来ていないかもしれません。しかし、反例候補の探索や発想の支援、膨大な知識の整理といった場面では、すでに研究のスタイルを変え始めています。
今回の論文は、「AIが数学を解く」のではなく、「AIと数学者が協力して数学を前に進める」という、新しい研究のあり方を象徴する一例として、今後振り返られることになるかもしれません。
