Mathematicians say OpenAI's AI-written proofs leaned on their work without crediting it
A week after OpenAI presented ten mathematical results produced by its upcoming Astra model, several named mathematicians say the write-ups reuse published ideas without citing them. Steven Miller of Yeshiva University says the sphere-packing result rests on an argument from a 2016 paper of his own; Francesco Fournier-Facio of the University of Cambridge says the group-theory result is an elementary combination of 2016 and 2019 work by Gábor Kun and Andreas Thom, presented as a new discovery. OpenAI has softened its original claim that the problems had seen no progress for at least a decade. A spokesperson said the company takes responsibility for the correctness of the results, holds itself to the standards expected of human mathematicians, and will make small updates to the paper.
Related stories
A model learned to write without the method that trains every AI.2026-10-06The US got 16 countries to put AI at the centre of science.
2026-10-05Mathematicians cracked five open problems using an ordinary chat box.
2026-10-05Untuned models solved agent tasks their polished versions could not.
2026-10-04Pretraining on everyday photos got a model to 70% on a reasoning test.
2026-10-04