「立论27年的指数时间假设，真被AI打破了？」OpenAI与Anthropic相继公布内部模型推导出的3-SAT亚指数时间算法及Lean形式化证明，共同挑战支撑细粒度复杂性研究27年之久的指数时间假设（ETH）。如果推导经得起考验，图论、数据库等领域百余项基于该假设的算法下界将被重估。不过亚指数复杂度与多项式时间仍隔着鸿沟，这与P vs NP并不冲突，现实中的工业求解与密码体系也未受直接波及。目前包括ETH提出者在内的多位学者已启动独立审查，形式推理虽有机器检查，但精确命题能否真正立得住，学界尚未形成共识。