GPT-5.6 Sol、30年来の統計予想を90分で反証

何が起きたか

ペンシルベニア大学の統計学教授がOpenAIのGPT-5.6 Sol Proを用いて、広く使われている統計手法であるBenjamini-Hochberg手順に関する長年の仮説を反証した。統計学者たちが30年間にわたって想定していながら証明できなかった、データが相関を持ち正規分布に従う場合にこの手法の偽発見率が目標値を超える可能性を示す統計モデルをAIが構築した。GPT-5.6 Sol Proはこの作業を約90分で完了。GPT-5.5は約20時間の処理を経ても解を見つけられなかった。

なぜ重要か

1995年に導入されたBenjamini-Hochberg手順は13万回以上引用され、数千の仮説を同時に検証する際の誤検出を除外するために現代統計学および科学分野全般で使われている。AIが発見した差は実用的には小さい（目標値0.1に対し0.104）だが、バークレー統計学者Will Fithianはこの反証された予想を「私の統計学分野で最も興味深い未解決問題」と呼んだ。この結果は、人間の専門家を長年悩ませてきた問題を解く能力を持つAIの進化を示しており、Fithianは「数学をはるかに超えた影響を持つAI能力の進化の別の指標」と述べている。

注目点

AIの解法は完全に新しい手法を発明するのではなく、既知の統計手法を異例の方法で組み合わせたもので、AIシステムが学習データに基づく再組み合わせにとどまるのか、それとも本当に新しい知識を生み出せるのかという問題が残っている。Dobribanは「現在のところ理論面で重要」であり「実用的な影響についてはさらなる研究が必要」と指摘している。チャット記録とコードは公開されている。