标签：形式化数学
让AI理解费马大定理的证明，两个月过去了，进展如何？
费马大定理（FLT）是数学史上著名的未解之谜，直到1995年由英国数学家安德鲁·怀尔斯提供了首个完整的证明。该证明基于模形式和椭圆曲线之间的深刻联系，涉及...
陶哲轩最新采访：AI将颠覆数学界！用Lean规模化，成百上千条定理一次秒杀
陶哲轩，一位菲尔兹奖得主及加州大学洛杉矶分校教授，在最近的采访中详细讨论了人工智能（AI）对数学领域的潜在影响。他对于使用如Lean这样的工具来“形式化”...
