AI时代的数学家不用硬抢探索者的活，转做人类数学和AI数学之间的阐释者就行，毕竟