Three OpenAI math papers withdrawn after one shared error
Retraction Watch reports that three math papers were withdrawn after a shared sign error. The cases do not tell us the error rate across the rest.
AI AgencyRead story
OpenAI says it released AI-generated math work. Some proofs have machine-checked versions, but the announcement does not prove every result is sound.