OpenAI releases 722 AI-generated math papers, including computer-verified proofs
OpenAI unveils 722 AI-generated math manuscripts with Lean-verified proofs, sparking debate on AI research validation.
AI-generated research
Latest AI-generated research coverage.