数学推理与AI：机器学习系统能在多大程度上理解数学？

AIGC动态欢迎阅读

原标题：数学推理与AI：机器学习系统能在多大程度上理解数学？
关键字：模型,数学,数据,语言,问题
文章来源：人工智能学家
内容字数：44965字

内容摘要：

导语2023年12月的 NeurIPS 会议上举办了许多主题研讨会，其中 MATH AI 研讨会为第三届，主题为“数学推理与AI”。数学推理是人类认知的基本方面，涉及分析复杂信息、识别模式和关系以及从证据中得出逻辑结论，在科学、工程、金融和日常环境中有着重要应用。最近大语言模型（LLMs）的进展在人工智能和数学推理的交叉领域开辟了新机遇，从解决复杂问题或证明定理的新方法，到数学及其他领域中人机协作的新形式。
NeurIPS 近三年都有针对 MATH AI 的研讨会，其中 2023年共包含41 篇文章，本文按以下八个主题分类整理（类别间可能存在交叉）：（1）形式化（2）研究导向（3）数据集（4）工具 & 智能体（5）数学推理 & 应用题（6）小模型实验 & 训练微调（7）多模态（8）认知科学。研究领域：人工智能，大语言模型，数学推理，多模态，控制论，认知科学来源：集智俱乐部
作者：王至宏
历年 MATH AI 研讨会的链接：
2021 年：MathAi4ED 研讨会（Math AI for Education: Bridging the Gap Between Research and

原文链接：数学推理与AI：机器学习系统能在多大程度上理解数学？