Browsing Tag
Lean Theorem Prover
1 post
Lean proof assistant, mathlib, machine-checked proofs, and formal mathematics.
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.
