What mathematicians should know about the Lean Theorem Prover: reliability & AI
By matt_d · 2026-10-09 · 12 points · 1 comments
https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of-reliability-and-ai/
By matt_d · 12 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews