OpenAI's unreleased model claims 372 new math results

What happened: OpenAI posted 722 manuscripts grouped into 372 families to GitHub Tuesday evening, including a claimed solution to the four-dimensional Kakeya conjecture. The model was pointed at about 4,000 problems, and the average result used about 3 hours of ChatGPT Pro-level thinking. Many proofs are checked in Lean, a proof-checking language, which Scientific American says makes them all but certain to be correct. OpenAI has not released the model, the exact prompts, or the compute per problem. Fields medalist Terence Tao has criticized the pace, and MIT's Andrew Sutherland says single-agent one-shot claims should be treated as unverified until humans test them.
The claim: OpenAI says each result resolves or makes real progress on an open question in math or theoretical computer science, that nearly every result came from one prompt to one agent, and that the model is coming soon.
Austin's take: Austin calls it a phenomenal advancement, possibly timed to counter OpenAI's recent security troubles. He sees little direct everyday impact, but highlights three things: AI producing novel results at this volume and difficulty, the small compute per result compared with last month's Navier-Stokes claim (about 10,000 agents over 88 hours), and how fast progress moved in roughly a month.
Why it matters: If it holds up, AI is now producing research results faster than mathematicians can check them, and doing it with far less compute than before.
What to do: Treat the headline number as a claim until independent mathematicians weigh in; the Lean-checked proofs are the strongest part. Watch for the model's release and whether OpenAI shares prompts and compute details.
Not confirmed yet: The model, prompts and compute per problem are unreleased. Experts say the single-agent claims are unverified until humans check them.

The Loop