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