ETH的核心断言是：3-SAT问题不存在在亚指数时间内求解的算法，具体形式为2^Ω(n)。