OpenAI releases model-generated math preprints; mathematician flags poor exposition

anshulkundaje · x · 2026-10-09

OpenAI announced a batch of new mathematical results from an internal frontier model, saying it consulted the independent Advisory Group on Mathematics and AI at the Institute for Advanced Study on how to release them.

Mathematician hayamizulab reviewed the combinatorics preprints and found the written exposition varies widely: some papers are so poorly written he cannot even tell what is being claimed, before correctness is even assessed. Citing the preprint on exact crossing numbers of complete graphs, he says Lemma A.1 and its proof (pp. 11–12) fall short of peer-review standards and would warrant major revision — though his critique doesn't cover the Lean formalizations.

Related event: Math community splits as OpenAI drops 700+ manuscripts, AHM calls boycott(34 posts)→

Original post →

More from Models

Models channel →