2026年7月16日 02:35
GPT-5.6 Sol、統計学30年来の予想を反証
GPT-5.6 Sol reportedly disproves a 30-year-old statistics conjecture in 90 minutes after humans couldn't crack it
3行まとめ
- •GPT-5.6 Solが統計予想を90分で反証
- •前身モデルは20時間でも失敗
- •AIの新知見創出に一石投じる
詳細
背景
ベンジャミン・ホックバーグ法は統計学における多重検定手法の代表格で、その理論的性質をめぐる中心的な予想が30年にわたり未解決のまま残されていた。ペンシルベニア大学の統計学教授がこの予想の反証に取り組んでいたが、人間の研究者だけでは長年解決に至っていなかった。
内容
教授はOpenAIの新モデルGPT-5.6 Sol Proを使い、約90分でこの予想の反証に成功した。一つ前の世代であるGPT-5.5では20時間以上取り組んでも解決できなかったといい、モデル世代間で数学的推論能力に大きな差が生まれていることを示す事例となった。反証の内容は、既存の複数の手法を新しい組み合わせ方でつなぎ合わせたものだったという。
今後の影響
この成果は、AIが本当に新しい知識を生み出せるのか、それとも既存の知識を組み合わせているだけなのか、という論争を再燃させている。統計学や数学の未解決問題へのAI活用の可能性を示す一方、その限界を見極めるための検証が今後も必要になる。
なぜ重要か
既存手法の新結合による反証で、AIの数学的推論能力の急伸と限界論争を象徴する事例。
元記事を読む — The Decoder