OpenAI与Anthropic用AI推导3-SAT亚指数算法，挑战27年指数时间假设

📋总体概括

OpenAI与Anthropic相继公布其内部AI模型推导出的3-SAT亚指数时间算法，并附Lean形式化证明，共同挑战已支撑细粒度复杂性研究27年的指数时间假设（ETH）。若推导经学界检验成立，图论、数据库等领域的百余项基于该假设的算法下界结论将面临重估。此事件标志着AI在理论数学与计算机科学核心难题上的能力迈出关键一步，但亚指数复杂度仍非多项式时间，其真实价值与证明的严密性尚待同行评议确认。