LinkOct 10, 2026

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

Article URL: https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of-reliability-and-ai/ Comments URL: https://news.ycombinator.com/item?id=50024090 Points: 177 # Comments: 48

Open terrytao.wordpress.com Save

What's new

What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI

Terence Tao · Oct 9, 2026

Saved linkhttps://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of-reliability-and-ai/