Oriel — AI & technology worth noticing, every day.

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

Web page · https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of-reliability-and-ai

First seen by Oriel on .

Metric trends

Last 30 days · Up to 120 recorded samples per source and metric · First and latest retained

Points

Score reported by the source.

  • Hacker News: 198, latest observation

Comments

Comment count reported by the source.

  • Hacker News: 58, latest observation

Aliases

SourceExternal IDURL
Hacker News50024090https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of-reliability-and-ai/