作者发现曲线拟合是错误的符号推理建模方法，尝试使用基于LSTM/GRU的模型进行一阶逻辑分类，但无法学习实际的一阶逻辑。作者认为问题在于学习过程，而不是函数空间的表示能力。推友讨论了Transformer的优势和符号方法的潜力。作者认为智能缺少讲故事的模型。