数学永远超前现有技术。 如果做小艾的能突破现有机器证明理论，就可以获得数学大奖

做挨踢的用的都是很初等的数学，包括谷歌搜索。 只是做数学的人不大会技术，不太懂赚钱。