無窮級數裏，其和有符號解的，占極少數。50s就有的機器證明，牽強算得上規則驅動的傳統AI。今天數據驅動的深度學習，

最多可用於機器輔助的數學定理證明。這類計算模型不可能完全自主地完成證明，但有潛力從大數據裏提出人想不到的猜想。