수학자가 알아야 할 Lean Theorem Prover: 신뢰성과 AI

What mathematicians should know about the Lean Theorem Prover: reliability & AI