OpenAI's 722-manuscript maths release leaves mathematicians racing to verify it
OpenAI published 722 AI-generated mathematics manuscripts on 6 October 2026; The Verge reported on 9 October that only about 42 percent had been formalised, mathematicians told the outlet the volume was overwhelming.





