#計算量理論 (1件)

OpenAIが崩した指数時間仮説、3-SAT高速化の意味と限界

OpenAIとAnthropicのAIが、3-SATの解を準指数時間で数えるアルゴリズムを相次いで提示し、27年間にわたり計算量理論を支えた指数時間仮説（ETH）に反証を突きつけた。P=NPや暗号崩壊を意味しない理由、Lean形式証明の到達点、実用化を阻む天文学的な入力規模、研究評価と検証体制の課題を解説。