机构名称：
¥ 1.0
摘要。本文讨论了当前人工智能 (AI) 技术在解决将初等数学与常识推理相结合的应用题方面的能力和局限性。现有的 AI 系统都无法可靠地解决这些问题。我们回顾了使用 AI 自然语言技术开发的三种方法：直接输出答案、输出解决问题的计算机程序以及输出可以输入到自动定理验证器的形式化表示。我们回顾了一些为评估这些系统而开发的基准和一些实验研究。我们讨论了现有技术在解决此类问题方面的局限性。我们认为，目前尚不清楚这些局限性对于开发用于纯数学研究的 AI 技术是否重要，但它们对于数学应用很重要，并且对于开发能够阅读和理解人类编写的数学内容的程序可能也很重要。
数学、应用题、常识和人工智能
主要关键词
相关文件推荐
