According to BlockBeats, on October 27, OpenAI announced its AI model found a deterministic algorithm that could solve the Exponential Time Hypothesis (ETH), a foundational conjecture in theoretical computer science standing for over two decades.
The ETH asserts that computational problems requiring exponential time to solve cannot be significantly accelerated with subexponential algorithms. If OpenAI's claimed solution—which uses formal verification in Lean to address k-SAT problems—withstands expert review, it would overturn a premise underlying thousands of computer science papers.