在 UT Austin 有很多关于这个主题的工作，现在已经迁移到Alan Institute。

没有现成的软件可以回答您的问题（如果有，DARPA 将停止为其开发提供资金！），但您可以在最近的一些论文中阅读有关最新开发的信息。

这篇论文(Seo et al. EMNLP 2015) 讨论了用于解释伴随几何问题的图表的技术，而这篇论文 (Hosseini et al. EMNLP 2014) 讨论了如何自动解析动词来解释问题的含义。2015年 TACL 论文(Koncel-Kedziorski et al. 2015) 通过讨论如何从文字问题中提取相关方程来完成这一点。一旦你有了方程式，知道要问什么问题，并且可以解释任何图表，你就可以解决大多数高中数学问题。

但是，我认为这还不是一个完全可靠的系统。这是创建一个可以在许多学科中获得高等教育认证的计划的更大、长期努力的一部分。您可以在艾伦研究所的网站上看到许多与此相关的项目。

嗯，这是一个与问答非常相关的相对较新的问题。最近的系统之一是 EUCLID，它可以通过使用树变换器级联方法回答公共 Dolphin 代数问题集的这类问题。

本文详细介绍了提出的模型Hopkins, M.、Petrescu-Prahova, C.、Levin, R.、Le Bras, R.、Herrasti, A. 和 Joshi, V. (2017)。超越句子语义解析：使用级联的树传感器来处理数学问题。在 2017 年自然语言处理经验方法会议论文集（第 795-804 页）中。

同理，SEMEVAL 发布了一个与 Math QA 相关的任务，你可以看到相关的参考书目和参考作品semeval 2019 task 10 internal。