OpenAI's mass release of AI-generated mathematical proofs and its fallout | Raisolo