7年心血恐被AI抢先，数学家带两名中国博士生，3天赶出95页论文