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 Expon...