Facebook AI 宣布建立了第一个可以使用符号推理解决高级数学方程的 AI 系统。通过开发一种将复杂的数学表达式表示为一种语言的新方法，然后将解决方案视为序列到序列神经网络的翻译问题。研究人员构建了一个在解决积分问题以及一阶和二阶微分方程方面都优于传统的计算系统。Facebook AI 表示，他们提出的解决方案是一种全新的方法，可将复杂的方程式视为语言中的句子，因此他们能够在神经机器翻译（NMT）训练模型中充分利用成熟的技术，从而将问题从本质上转化为解决方案。为要实施此方法，他们需要开发一种将现有数学表达式分解为类似于语言的语法的方法，并生成包含超过 100M 个配对方程式和解的大规模训练数据集。