无穷级数里，其和有符号解的，占极少数。50s就有的机器证明，牵强算得上规则驱动的传统AI。今天数据驱动的深度学习，

最多可用于机器辅助的数学定理证明。这类计算模型不可能完全自主地完成证明，但有潜力从大数据里提出人想不到的猜想。