预测AI一年内数学超越人类，两年内成为工程基础设施

RT @ChrSzegedy：我认为，接下来的步骤是：

一年内：在所有数学解题方面，AI将严格优于人类。

两年内：生成数学将变得非常廉价，AI将按需为各种应用领域即时生成数学理论。

数学将成为所有工程和应用科学（包括AI、生物学、优化、网络安全等）的真正基础设施，在这些领域，理论化方法过去因成本过高而无法实用。