Bookmark · 10 October 2026, 07:56 What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI | What's new ml-accuracymitpincunabula