11.5K views · 40 likes · 2 reposts (at collection)
OpenAI claims advances in complexity theory, Yang–Mills existence, and the Kakeya conjecture
What happened
OpenAI announced three claimed AI-generated scientific advances on October 26, according to Bao Yu’s account and a quoted post from @gdb. These concern an algorithm contradicting the Exponential Time Hypothesis, existence proofs for QCD and Yang–Mills theory without resolving the mass gap, and a stronger conjecture implying Kakeya in all dimensions. OpenAI says Lean checked the proofs; mathematics and computer science materials are public, while physics materials remain withheld for expert review. The account says none has undergone peer review, and reviewing experts had not publicly assessed correctness.
Why it matters
The account distinguishes publicly available papers and Lean proofs from withheld physics materials, clarifying the different opportunities for outside scrutiny across OpenAI’s three claimed results.
Read next
More changes in today’s briefingIntroducing GPT-6.1 TerraKeep up with AI, one email a day
Model releases, price changes and compute developments, with original sources. Free, confirmed by email, and easy to unsubscribe. Read a past issue · 2026-10-27