25名顶尖数学家炮轰AI巨头“抢成果”，AI会让数学家失去工作吗？