ペンシルベニア大学の教授がOpenAIのGPT-5.6 Sol Proを使い、30年前の統計仮説を90分で反証した。これは数学者たちが成し遂げられなかったことだ。
1995年に導入されたBenjamini-Hochberg手順は13万回以上引用されており、相関のあるデータでも信頼性を保つと想定されていたが、AIはこの手法が目標の偽発見率を逃す場合があることを示した。
実用的な差は小さいが、この結果はAIの数学における問題解決能力の向上を浮き彫りにし、AIが本当に新しい知識を生み出せるのか、それとも学習内容の再組み合わせに限定されるのかという疑問を提起している。
何が起きたか
ペンシルベニア大学の統計学教授が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は「現在のところ理論面で重要」であり「実用的な影響についてはさらなる研究が必要」と指摘している。チャット記録とコードは公開されている。
Benjamini-Hochberg手順は1995年以来現代統計学の基礎となっており、特にゲノミクスのような数千の同時検査から誤検出を除外する必要がある分野で重要です。ほぼ30年間、統計学者コミュニティはこの手法が相関を持つデータでも確実に機能すると想定していました。相関のあるデータは遺伝子変異が一緒に遺伝する場合など現実世界ではよくある状況です。しかし誰もこの仮説を正式に証明していませんでした。ペンシルベニア大学のEdgar Dobribanはその空白を埋めるためにGPT-5.6 Sol Proを活用し、特定の条件下では偽発見率が目標値を超えることを示す反例を構築しました。解答の速さが際立っています。90分対前世代モデルの約20時間、そして数十年の人間による失敗した試みです。Dobribanは新しい手法を発明するのではなく既知の統計手法を異例の方法で組み合わせたことを認めており、これは数学における同様のAIの突破口で見られるパターンです。これはAIの推論に関する根本的な疑問を生じさせます。これらのシステムは真に新しい知識を生み出せるのか、それとも学習データから知った考えを洗練した再組み合わせに限定されるのか。再組み合わせが上限であったとしても、Dobribanの研究は人間のワークフローに組み込まれたツールとしての実用的価値を示しています。より広範な含意は依然として不透明ですが、ディープラーニングの先駆者Richard Suttonを含む一部の研究者は、本当の自己改善と汎化には再組み合わせを超えた能力が必要だと信じています。
たとえば、いま届くならこの3本です
AIが要約して、あなたの選んだトピックだけを1日1通。LINE・Email・Slackで届きます。
登録無料・30秒で完了・いつでも解除できますAITodayについて →
この記事についてわからないことをAIに質問できます。Q&Aはこのページに公開され、他の読者も読めます。
OpenAIは8月28日、AIコーディングツールCursorへのモデル提供契約を終了すると発表し、終了日として11月12日を提案した
バーンスタインのアナリストは、AIがメモリーのボトルネックを生み出しており、需要が高帯域幅メモリー（HBM）から従来型DRAM、NANDフラッシュ、ストレージへ拡大していると指摘
オープンAIのサム・アルトマンCEOはタイム誌のインタビューで、AIモデル開発を「減速する良い時期」と述べた
エヌビディアの水曜決算は、GPUだけでなく、データ処理を最大3倍高速化するVera CPUなど周辺システムにも強みがあることを示した
マーベル・テクノロジーは2027年度第2四半期の売上高が過去最高の27億3900万ドル（前年比37%増）に達し、2027年度通期見通しも約120億ドルに引き上げた
8月27日木曜、アッシュビル中心部で看護師らが集まり、HCAヘルスケアに対し、人員配置やプライバシー、患者ケアに影響を与えるとされるAIシステム「パリンティア」の使用中止を求めた
