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

数学推理与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:机器学习系统能在多大程度上理解数学?

联系作者

文章来源:人工智能学家
作者微信:AItists
作者简介:致力成为权威的人工智能科技媒体和前沿科技研究机构

阅读原文
© 版权声明

相关文章

暂无评论

暂无评论...