说这话属于对数学一窍不通。 数学家是最不可能被小艾取代的职业

数学机器证明研究连门都没摸着。 那些程序猿能搞明白，得数学大奖再说。