脳外科医が20年以上数学者を悩ませた予想を16時間のGPT-5.6実行で証明

数学者のアレックス・タウンゼントは、ほぼ1年にわたってChatGPTにクロワゼー予想の証明を求め続けていたが、モデルは一貫して誤った証明や不完全な証明を返していた。2026年7月30日、ChatGPTは3日前に投稿されたプレプリントへのリンクを返し、解決を主張した。タウンゼントと同僚のアンナ・グリーンバウムは懐疑的にそれを読み、すぐにそれが本物であると気づいた。著者であるシャンムー・ジン博士は、脳神経外科レジデントでありポスドクで、専門の数学者ではない。彼は経頭蓋超音波に取り組む中でクロワゼー予想に興味を持ち、インターネットに接続しない状態のChatGPT Work内のGPT-5.6 Solとの16時間の自律セッションで証明戦略を練り上げた。モデルは、ジンが促したように、多様な戦略のポートフォリオ、敵対的監査、反例に基づく排除を用いた。証明はタウンゼント、グリーンバウム、ミシェル・クロワゼーによって独立に検証され、その後、数学者のエミル・ローリストとフェリックス・シュウェニンガーによる2つ目の異なる証明（彼らもChatGPT 5.6 Proを使用）によって強化された。この事例は数学的発見におけるパラダイムシフトを浮き彫りにし、査読の持続可能性について疑問を投げかけている。