On October 6, OpenAI publicly released 722 mathematical manuscripts generated by its internal AI models, only to withdraw three of them the following day. The reason: one contained a sign error, and the other two—which used the same construction—were pulled along with it. As AI generates content at scale, the two giants are now joining forces to bear the verification cost.
