Illustration Beyond Proof
Article URL: https://terrytao.wordpress.com/2026/10/11/illustration-beyond-proof/ Comments URL: https://news.ycombinator.com/item?id=50049133 Points: 41 # Comments: 0
Hacker News10 min read
What’s New
2 stories
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: 156 # Comments: 42
Hacker News16 min read
Showing 2 of 2 stories
You're all caught up.
AiByts Weekly Brief
Get the top AI news and tools straight to your inbox every week.
Weekly · AI news from Hacker News
Join 15,000+ AI enthusiasts