19~20世纪的科技井喷让理性主义者信心爆棚，重新拿出了拉普拉斯妖的那一套，只要有足够时间以数理逻辑为基础的现代科学一定能解决所有问题
结果冷战后科技慢慢降速了然后在AI领域，传统的规则派逐渐不敌暴力拟合派。现在的AI也许能推理出正确结论，也能显示出推理过程，但实际上计算过程完全和推理是两回事。甚至开始有每开掉一个语言学家大模型能力上一级这种说法。也就是说对于那些困难的问题，想要得到精确解的话与其砸大量的时间和资源仔细研究其中的逻辑细节，还不如堆一堆已知事实让AI去蒙