Reports say that an OpenAI model claims to challenge the Exponential Time Hypothesis with an algorithm; the result remains under review
Reports say that an OpenAI model allegedly discovered a deterministic algorithm that can exactly count the number of solutions to the k-SAT problem in subexponential time and formally verified it with Lean. Here,ETH refers to the Exponential Time Hypothesis, not Ethereum.