OpenAI claims its models have disproven the Exponential Time Hypothesis and proven the Kakeya conjecture
OpenAI has published three results produced by its internal models, in theoretical computer science, mathematics, and physics, with proofs formalized in Lean. None have yet been validated by the community, and independent groups of researchers are tasked with reviewing them.






