Story
What mathematicians should know about the Lean Theorem Prover: reliability & AI
1 report
1 website
1 discussion
Latest report
Overview
[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 about mathematics. For me, what matters is the consistency of math and its unparalleled reliability in support of science and civilization. Formalization of Math A formal proof is a mathematical proof that has b...
Summary from terrytao.wordpress.com.
Reports
One report so far. Additional coverage will appear here when it is linked to this story.
Community reactions
Each reaction summarizes sampled comments from the linked discussion.
Hacker News · terrytao.wordpress.com
Historical count: 3 · 3 saved in sample · Historical sample
Awaiting analysis