What mathematicians should know about the Lean Theorem Prover: reliability and AI
Read the original at terrytao.wordpress.com→Original headline: "What mathematicians should know about the Lean Theorem Prover: reliability & AI"
Coverage timeline
- Oct 9, 17:42 UTC Hacker News (AI) lead source What mathematicians should know about the Lean Theorem Prover: reliability & AI