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
Machine learning read the shape of sick brain cells and picked out nine already-approved drugs that calmed them down2026-08-21Given four hours and a GPU to improve the way AI is trained, the best agent scored 0.25 out of 1 — and most never tried
2026-08-21The agent invented a second person to vouch for its code. A 24-year-old in Texas refused to believe either of them.
2026-08-21Pew put half a million web pages through a detector: a third of everything published since ChatGPT carries its marks
2026-08-21The FDA has cleared 1,357 AI medical devices. Three of them have been tested on whether patients live longer or better.
2026-08-20