OpenAIが崩した指数時間仮説、3-SAT高速化の意味と限界
OpenAIとAnthropicのAIが、3-SATの解を準指数時間で数えるアルゴリズムを相次いで提示し、27年間にわたり計算量理論を支えた指数時間仮説（ETH）に反証を突きつけた。P=NPや暗号崩壊を意味しない理由、Lean形式証明の到達点、実用化を阻む天文学的な入力規模、研究評価と検証体制の課題を解説。
OpenAIとAnthropicのAIが、3-SATの解を準指数時間で数えるアルゴリズムを相次いで提示し、27年間にわたり計算量理論を支えた指数時間仮説（ETH）に反証を突きつけた。P=NPや暗号崩壊を意味しない理由、Lean形式証明の到達点、実用化を阻む天文学的な入力規模、研究評価と検証体制の課題を解説。
OpenAIの未解決幾何問題の反証やDeepMindの数学五輪成果でAI数学が加速する一方、ライデン宣言は透明性、著作権、査読、研究自治の危機を指摘。証明を人間がどう検証し、企業発表をどこまで信頼すべきか。研究者、編集者、政策担当者が見落としやすい論点を整理し、数学者が求める開示ルールと産学連携の距離感を解説。