陶哲轩公开批评AI公司加速解数学题引发知识拥堵

数学家陶哲轩在SAIR演讲中公开批评AI模型公司无休止地加速解决数学难题，呼吁必须慢下来。他指出AI虽然能快速生成解答并通过Lean验证，但导致人类无法理解、消化和传播这些成果，造成“证明消化不良”。此前OpenAI等公司因攻克千禧难题引发争议，25位菲尔兹奖得主曾联名抗议将数学作为基准测试的做法。