OpenAI says its models produced new results in maths, computer science and physics

OpenAI researcher Dan Roberts shared that OpenAI's internal models produced a proof of a long-standing maths conjecture (local smoothing, with knock-on results for the Kakeya and restriction conjectures), a refutation of a major computer-science hypothesis (the Exponential Time Hypothesis) and a rigorous existence proof in particle physics (Yang-Mills in four dimensions). The first two were checked with the Lean proof checker, which is strong evidence, but these are OpenAI's claims and expert review is still under way; the physics result touches a Millennium Prize problem and hasn't been released yet.

Why it mattersLittle to act on this week, but it's a sign that reasoning models are getting much better at long, checkable work. The business lesson is the method: pair AI output with an automatic checker wherever you can.

How we knowCompany figures are labelled as their own claims; anything we couldn't verify is labelled as a report or a claim.