一篇新论文提出了更严苛的学习定义：真正的学习不仅要求估计值收敛到真实概率，还要求机器能在形式系统内部推导出这种收敛性。