OpenAI Published 722 Proofs Against a Five-Point Checklist
An independent advisory group published five conditions for releasing AI-generated mathematics. A week later OpenAI released 722 manuscripts and cited them. Graded clause by clause: four gaps OpenAI names itself, one it does not.