陶哲轩等25位菲尔兹奖得主联名抗议AI公司加速解数学题

在SAIR最新演讲中，陶哲轩公开喊话模型公司，认为AI在生成数学证明与Lean形式化验证上加速，但理解、消化与写教科书几乎停滞，造成Proof Indigestion，长此以往会扼杀数学家创造力并带来数据污染。