A sign error wiped out three of OpenAI's 722 new maths papers.
OpenAI withdrew three mathematics manuscripts on Wednesday, one day after posting 722 of them on GitHub. A sign error in one paper broke the argument that two others leaned on. Machine-checked proofs still cover only 300 of the 719 manuscripts that remain.
Why it mattersAI now produces maths faster than humans can check it. That gap is where errors hide, so treat any unverified AI result as a draft.
Read in the app — free, in 9 languages
Related stories
Buterin says AI maths could break crypto before quantum computers do.2026-10-08AI agents upsold wealthy users who asked for the cheapest option.
2026-10-08OpenAI's machine-checked proof does not match the proof it published.
2026-10-08Nvidia found one training step changes just 1% of a model.
2026-10-07OpenAI posted 722 maths papers from one prompt to one agent.
2026-10-07