What mathematicians should know about the Lean Theorem Prover: reliability & AI(terrytao.wordpress.com)
7 pointsby matt_d5 hours ago1 comment