Formal Verification
Subscribe
OpenAI just open-sourced 10 machine-checked Lean proofs
6 min read
OpenAI has released a new GitHub repository containing Lean certificates for complex proofs in mathematics and theoretical computer science. This highlights the rapidly growing intersection of artificial intelligence research and formal software verification....