OpenAI claims to have solved part of a Millennium Problem thanks to artificial intelligence

OpenAI claims to have disproven the exponential time hypothesis, a long-held conjecture in theoretical computer science. They also assert to have proven a local smoothing conjecture from 1991 and the existence of Yang-Mills theory in four dimensions. These findings, if validated, could significantly impact academia and relate to the Millennium Prize Problems. The exponential time hypothesis suggests that solving certain logical formulas grows exponentially with added variables. OpenAI's model reportedly found a counterexample and published an algorithm that counts solutions faster than previously thought possible. The local smoothing conjecture relates to wave behavior over time, while the Yang-Mills theory is crucial in particle physics. OpenAI's announcement comes amid scrutiny over its scientific claims.