标签：形式化数学

陶哲轩最新采访：AI将颠覆数学界！用Lean规模化，成百上千条定理一次秒杀

陶哲轩，一位菲尔兹奖得主及加州大学洛杉矶分校教授，在最近的采访中详细讨论了人工智能（AI）对数学领域的潜在影响。他对于使用如Lean这样的工具来“形式化”...

AIGC动态

5个月前