OpenAI releases 722 AI-generated mathematics manuscripts and supporting proofs; verification is incomplete, and some results may contain errors.