數(shù)學(xué)推理與AI：機(jī)器學(xué)習(xí)系統(tǒng)能在多大程度上理解數(shù)學(xué)？

AIGC動(dòng)態(tài)歡迎閱讀

原標(biāo)題：數(shù)學(xué)推理與AI：機(jī)器學(xué)習(xí)系統(tǒng)能在多大程度上理解數(shù)學(xué)？
關(guān)鍵字：模型,數(shù)學(xué),數(shù)據(jù),語(yǔ)言,問(wèn)題
文章來(lái)源：人工智能學(xué)家
內(nèi)容字?jǐn)?shù)：44965字

內(nèi)容摘要：

導(dǎo)語(yǔ)2023年12月的 NeurIPS 會(huì)議上舉辦了許多主題研討會(huì)，其中 MATH AI 研討會(huì)為第三屆，主題為“數(shù)學(xué)推理與AI”。數(shù)學(xué)推理是人類認(rèn)知的基本方面，涉及分析復(fù)雜信息、識(shí)別模式和關(guān)系以及從證據(jù)中得出邏輯結(jié)論，在科學(xué)、工程、金融和日常環(huán)境中有著重要應(yīng)用。最近大語(yǔ)言模型（LLMs）的進(jìn)展在人工智能和數(shù)學(xué)推理的交叉領(lǐng)域開(kāi)辟了新機(jī)遇，從解決復(fù)雜問(wèn)題或證明定理的新方法，到數(shù)學(xué)及其他領(lǐng)域中人機(jī)協(xié)作的新形式。
NeurIPS 近三年都有針對(duì) MATH AI 的研討會(huì)，其中 2023年共包含41 篇文章，本文按以下八個(gè)主題分類整理（類別間可能存在交叉）：（1）形式化（2）研究導(dǎo)向（3）數(shù)據(jù)集（4）工具 & 智能體（5）數(shù)學(xué)推理 & 應(yīng)用題（6）小模型實(shí)驗(yàn) & 訓(xùn)練微調(diào)（7）多模態(tài)（8）認(rèn)知科學(xué)。研究領(lǐng)域：人工智能，大語(yǔ)言模型，數(shù)學(xué)推理，多模態(tài)，控制論，認(rèn)知科學(xué)來(lái)源：集智俱樂(lè)部
作者：王至宏
歷年 MATH AI 研討會(huì)的鏈接：
2021 年：MathAi4ED 研討會(huì)（Math AI for Education: Bridging the Gap Between Research and

原文鏈接：數(shù)學(xué)推理與AI：機(jī)器學(xué)習(xí)系統(tǒng)能在多大程度上理解數(shù)學(xué)？

聯(lián)系作者

文章來(lái)源：人工智能學(xué)家
作者微信：AItists
作者簡(jiǎn)介：致力成為權(quán)威的人工智能科技媒體和前沿科技研究機(jī)構(gòu)