What mathematicians should know about the Lean Theorem Prover: reliability & AI

  • Posted 4 hours ago by matt_d
  • 6 points
https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of-reliability-and-ai/

1 comments

    Loading..