学者预言：深度学习的数学基础将由机器给出人类读不懂的形式化证明

Andrea M. 预测深度学习数学基础探索的终局：某个神经网络将找到一个「非常长的证明」，证明深度学习确实有效。这个证明没有任何人类能理解，但会被形式化验证系统正式验证通过。转发者调侃这一设想「超前于时代」。