OpenAI says one of its AI models disproved the Exponential Time Hypothesis (ETH). OpenAI also released a computer-checked formal proof, but…

First reported Oct 27, 2026, 11:48 UTC

Source reports

OpenAI says one of its AI models disproved the Exponential Time Hypothesis (ETH). OpenAI also released a computer-checked formal proof, but independent researchers are still reviewing whether it proves what it claims. For those unfamiliar, the Exponential Time Hypothesis is a… — @benjamincowen (X), Oct 27, 2026, 11:48 UTC
🚨 NEW: An OpenAI model claims to refute the Exponential Time Hypothesis, prompting an independent review by researchers. The Exponential Time Hypothesis (ETH) is a key conjecture that 3-SAT problems cannot be solved in subexponential time. — @Cointelegraph (X), Oct 27, 2026, 14:01 UTC

Excerpts are quoted from the linked sources, which own their text.