Canonical event

OpenAI math-research corpus records three withdrawals and additional revisions

OpenAI released a large model-generated mathematics manuscript collection on October 6, then recorded three withdrawals from a shared sign-error dependency and 14 manuscript revisions on October 7. These are primary-repository audit facts; they do not establish that all published proofs were independently verified or that self-improving AI emerged.