Ryan Williams 界定新 3SAT 算法边界：亚指数但非多项式

Ryan Williams 界定了一种新的 3SAT 算法边界，其在 n 个变量上的运行时间为 exp(n/(log n)^{1/2+o(1)})，低于所有 2^(cn) 形式算法但仍非多项式时间。AIFlowML 引述其表述指出，这一结果并不意味着所有 NP 问题都能亚指数求解，为“ETH 被推翻”的说法划定了实际范围。