数学の学位なし、脳外科医がAIで22年越しの難問を解いた経緯

金山氏は数学史に名を残そうとしていたわけではありません。彼は経頭蓋超音波検査（transcranial ultrasound）の研究を行っており、超音波が頭蓋骨をどのように透過するかをモデル化する過程で行列解析に行き着き、やがてクルゼイの予想にたどり着きました。彼の高等数学はすべて、超音波研究を通じた独学でした。学部は北京大学で地質学を、医学博士号は北京協和医学院で取得しており、高度な数学の正式な訓練は受けていませんでした。

16時間の自律稼働

金山氏は、OpenAIがCycle Double Cover予想を解いた際に用いたプロンプト戦略を応用しました。彼はマルチエージェントで敵対的な検証（adversarial verification）を行うセットアップを設計し、以下の4つの指示を与えました：

1. オフラインで動作させる: モデルは物理的にネットワークから切断された環境で動作し、既存の証明や解答をウェブから参照することを防止しました。
2. 並行して探索させる: システムは多数のサブエージェントを起動し、真に異なる証明戦略を探索させることで、一つのアプローチに早期に収束するのを防ぎました。
3. 敵対的監査（Adversarial auditing）: 候補となる証明は敵対的なチェックを受け、モデルが自身の誤りを発見し修正することを強制されました。
4. 早期停止禁止: システムは、完全な証明が全てのチェックを通過するまで停止しないように指示されました。

金山氏はシステムを起動し、その場を離れました。約16時間の連続稼働（その間、GPT-5.6-Solは生成、仮説検証、棄却、再構築のサイクルを何千回も実行）の後、完全な証明を生成しました。

専門家たちが予想していたような重厚な推定ではなく、その論証は巧妙なサンプリング戦略を用いて問題を単純な正値条件に帰着させるものでした。これを検証した人々の説明によれば、エレガントで予想外のアプローチでした。

専門家による検証

コーネル大学の数値解析学者アレックス・タウンゼント（Alex Townsend）氏は、その前の1年間、日常的にChatGPTにクルゼイの予想を解かせようと試みてきましたが、毎回同じ補題で行き詰まっていました。2026年7月30日、彼が再び質問してみると、今度のChatGPTは7月27日に投稿された「The Numerical Range Is a 2-Spectral Set」というプレプリントへのリンクを返してきました。

タウンゼント氏とワシントン大学のアン・グリーンバウム（Anne Greenbaum）氏は、懐疑的な気持ちでそのプレプリントを精査しました。数時間後、彼らはその証明が正しいと結論付けました。そして、22年前にこの予想を提起したミシェル・クルゼイ自身も原稿を精査し、その正しさを確認しました。

オープンソース化と独立した検証

金山氏は研究パイプライン全体をオープンソース化し、GitHub上で最終論文、使用したプロンプトの全文、原稿の全イテレーション履歴、Lean 4による証明の形式化、そして公理監査レポートを公開しました。

特筆すべきことに、金山氏のプレプリント公開からわずか8日後には、エミエル・ロリスト（Emiel Lorist）氏とフェリックス・シュウェニンガー（Felix Schwenninger）氏による別の独立した証明がarXivに投稿されました。彼らもまたChatGPT 5.6を戦略探索に使用しており、この結果を独立に裏付けるものとなりました。

AIと科学にとっての意味

金山氏の証明の物語は、いくつかの点で注目に値します。この出来事は、ある分野で正式な訓練を受けていない非専門家であっても、フロンティアAIモデルに適切な自律的ワークフローを設計することで、専門家を長年悩ませてきた問題に真の貢献ができることを示しています。また、よく設計された自律推論システムの力を示しています。金山氏はAIを検索ツールやチャットボットとして使ったのではなく、人間の介入なしに長時間にわたって自身の作業を探索、検証、洗練できるシステムを設計したのです。

この問題は単なるおもちゃやパズルではありません。それは22年間未解決だった問題であり、その証明は問題を提起した数学者本人や、他の第一線の専門家たちによって検証され、受理されたものです。