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

來源: 2023-02-09 21:58:54 [博客] [舊帖] [給我悄悄話] 本文已被閱讀:

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