OpenAI pulls three maths proofs and bans two propaganda networks [Oct 9 2026]
OpenAI withdrew three of the manuscripts it published this week on unsolved mathematics problems, after a sign error invalidated an argument in one paper and the construction two dependent papers relied on. The catalogue now lists 719 manuscripts in 372 families, with 300 of 719 top-line results formalised in Lean, and a preprint by mathematicians at Cambridge and King's College London reports that the Lean proof of OpenAI's announced Navier-Stokes blow-up does not correspond to the natural-language proof. OpenAI also published a malicious-use report banning two covert influence operations…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.