当AI巨头开始在数学中圈地，数学家必须找准前进的方向