陶哲轩等数学家反对AI加速解决数学难题

陶哲轩在SAIR演讲中批评AI公司无休止加速解决数学问题，指出AI虽能快速生成证明，但缺乏人类对证明的阐释、同行评审和教科书化，导致‘证明消化不良’。他与25位菲尔兹奖得主联名抗议，认为AI刷benchmark破坏数学研究中的认知摩擦。OpenAI回应称将成立数学与AI顾问小组，但明确不介入内部进展决策。