OpenAI claims AI produced proofs for multiple mathematics and complexity problems
Rohan Paul, relaying OpenAI's claims, said its AI proved that the Exponential Time Hypothesis (ETH) is false, an assumption that has underpinned related research for about 25 years. It also claims to have cracked the 35-year-old local smoothing conjecture and thereby solved the Kakeya conjecture, and in physics to have proven with full mathematical rigor that the foundations of quantum chromodynamics are sound, covering half of the $1 million Yang-Mills existence and mass gap Millennium Prize Problem.
Why read this
SelectedAI score 78
OpenAI claims its AI proofs cover multiple long-unsolved mathematics and complexity problems, allowing readers to understand the scope and weight of its claims.
Topics
Body
OpenAI claims new AI proofs covering half a Millennium Prize problem, the Kakeya conjecture and a core complexity hypothesis.
> These problems are in math, computer science and physics, problems top experts had worked on for decades.
> The biggest: for about 25 years, the Exponential Time Hypothesis held that certain logic puzzles take time that explodes as they grow. OpenAI’s AI says it proved the hypothesis false, and hundreds of research papers rest on it.
> In math, the AI claims to have cracked the local smoothing conjecture, a 35-year-old puzzle about how waves focus, which also settles the famous Kakeya conjecture. Humans had only solved smaller versions.
> In physics, the AI claims it proved, with full mathematical rigor, that quantum chromodynamics, the theory of the force holding atoms’ cores together, stands on solid math. Its Yang-Mills proof covers half of the $1M “Yang-Mills Existence and Mass Gap” Millennium Prize problem.