Browsing Tag
Formal Verification
1 post
Machine-checked proofs, verified software and hardware, proof assistants, and formal methods.
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.
