shelf.cafe
top new
submit Sign in

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

0

terrytao.wordpress.com · 2d · discuss

[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. […]

Sign in

Discussions on Bluesky

shelf.cafe - just a place to share interesting blog posts and articles.
about

We can't find the internet

Attempting to reconnect

Something went wrong!

Attempting to reconnect