news.volyx.in

What mathematicians should know about the Lean Theorem Prover: reliability & AI (terrytao.wordpress.com)

170 points by matt_d · 1 day ago · 45 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.