[JP] AIが切り拓く数学の未来：Lean定理証明器の進化
[EN] The Future of Mathematics Unleashed by AI: The Evolution of the Lean Theorem Prover

https://ai-minor.com/blog/en/2026-10-10-1791590696475-what_mathematicians_should_know_about_the_lean_the

#Lean #定理証明器 #自動形式化 #AI #Tech