Institute for Advanced Study

Oct 7, 2026

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.