Terence Tao personal blog
What mathematicians should know about the Lean Theorem Prover: reliability & AI
[This is a guest post by Thomas Hales. This blog post was initially written in a different file format and converted using AI. — T.] Mathematicians have been weighing in on what they value ab…
- Points
- 210
- HN comments
- 58
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsAI & Machine Learning2026
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Oct 9, 2026 | What mathematicians should know about the Lean Theorem Prover: reliability & AI by matt_d | 210 | 58 |
