数学家应了解的 Lean 定理证明器：可靠性与人工智能

本文探讨了 Lean 定理证明器在数学领域的作用，重点介绍了其在提高数学论证可靠性及结合人工智能方面的潜力。