Browsing Tag
Mathematics
1 post
Mathematics research, computational mathematics, proofs, and technology affecting mathematical work.
OpenAI Published 722 AI Math Papers. The Proof Audit Starts Now
OpenAI released 722 AI-generated math manuscripts across 372 result families. Here is what Lean can verify, what remains unproven, and why the review will take time.
