OpenAI Withdraws 3 Math Papers

OpenAI withdrew three mathematics papers in October 2026 due to a sign error in one foundational paper that invalidated key proofs used by the dependent manuscripts. Additionally, the organization revised 14 other manuscripts with corrections to proofs, statements, and hypotheses, and updated 13 more papers to reference the corrected versions. These corrections bring the percentage of formalized top-line results to approximately 42%.