login sign up

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

terrytao.wordpress.com · first added by @raybits
saved by
1 person
discussions · 1
What mathematicians should know about the Lean Theorem Prover: reliability & AI 208 pts · 58 comments · Oct 2026 208 pts · 58 comments · Oct 2026
0 people saved or upvoted this
from the discussion · 5
Validating a Lean Proof lean-lang.org lean-lang.org
0 people saved or upvoted this
Did you prove it? leanprover-community.github.io leanprover-community.github.io
0 people saved or upvoted this
https://proofassistants.stackexchange.com/questions/6517/is-there-a-way-to-guarantee-that-lean-4-proofs-cannot-be-adversarially-tricked proofassistants.stackexchange.com proofassistants.stackexchange.com
0 people saved or upvoted this
A Promising Path Towards Autoformalization and General Artificial Intelligence research.google research.google
0 people saved or upvoted this
ityonemo/openai-wiles: A 2b4m audit of OpenAI's withdrawn 'Algebraicity of Weil classes on split abelian eightfolds': two chains differing in one sign, one passing and one failing at Lemma 3.6. github.com github.com
0 people saved or upvoted this