News
OpenAI Proves ETH False
OpenAI published a 67-page paper claiming its AI found a way around the Exponential Time Hypothesis (ETH), a computer-science conjecture from 1999. ETH is assumed in hundreds of research papers to show that problems in various fields cannot be solved quickly. OpenAI's algorithm counts every satisfying assignment of 3-SAT puzzles in subexponential time, which they found on October 16 and formalized in Lean software on October 17.