Skip to content

News

OpenAI shares model results on the Kakeya conjecture, ETH and quantum chromodynamics

OpenAI says its internal models proved the local smoothing conjecture in every dimension, which also resolves the Kakeya conjecture, and showed in a Lean-verified proof that the Exponential Time Hypothesis is false. Outside expert groups will examine the results, and a third result in physics will be written up by researchers first.

Sources

The headline and summary are ours, drafted with AI from the sources above and checked automatically before publication. See how we use AI.