25位菲尔兹奖得主联合发公开信，反对AI公司把解决数学问题当基准测试的“数学军备