剛剛，著名數(shù)學(xué)家陶哲軒的個(gè)人博客又更新了，這次他們整理了一份有用的資源列表，該資源專注于 AI for Math，專為那些希望進(jìn)入數(shù)學(xué) AI 領(lǐng)域的人提供幫助。

這份清單發(fā)起時(shí)間最早可追溯到去年，發(fā)起機(jī)構(gòu)由美國(guó)國(guó)家科學(xué)院、工程院和醫(yī)學(xué)院組織的研討會(huì)「人工智能輔助數(shù)學(xué)推理」提出，陶哲軒擔(dān)任研討會(huì)主持人。

目前，網(wǎng)址資源已經(jīng)公開。

網(wǎng)址：https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0/edit

在關(guān)于清單的介紹中我們看出，這是一個(gè)初步的資源列表，最初由 UIUC 教授 Talia Ringer 整理，供那些希望進(jìn)入 AI 數(shù)學(xué)領(lǐng)域的人使用，不過(guò)這份文檔還沒(méi)有完全截稿，陶哲軒及其他研究者還在不斷的進(jìn)行完善（我們還能看到各種修改痕跡）。

根據(jù)目錄我們可以看出，列表資源非常豐富。有推薦的教科書、課程資源、社區(qū)討論、推薦工具等。

在課程這一欄，我們還看到知名 AI 學(xué)者吳恩達(dá)的機(jī)器學(xué)習(xí)課程出現(xiàn)在推薦列表里（點(diǎn)擊鏈接就能直達(dá)，非常方便）。

關(guān)于這份列表的更多詳細(xì)內(nèi)容，我們接著往下看。

關(guān)于教育，清單推薦了一些可用的教科書和調(diào)查報(bào)告、維基和詞匯表、教程、數(shù)據(jù)集和基準(zhǔn)、課程教材等。

由于 AI for Math 是一個(gè)高度協(xié)作的交叉領(lǐng)域，因此和那些具有互補(bǔ)專業(yè)知識(shí)以及有經(jīng)驗(yàn)的人交流非常有益，基于此，列表推薦了一些社區(qū)論壇，方便大家討論。

研究 AI 與數(shù)學(xué)，當(dāng)然離不開工具和代碼庫(kù)，推薦列表中列出了機(jī)器學(xué)習(xí)框架、證明助手、數(shù)學(xué)工具、數(shù)學(xué)庫(kù)等。

在大模型刷屏的今天，AI for Math 自然少不了 LLM，這份資源清單給出了可訪問(wèn)的通用模型，大家熟悉的 LLM 都在列表內(nèi)：

用于數(shù)學(xué)的 LLM：

用于形式化證明的 LLM：

以及聊天機(jī)器人：

看到這份清單后，大家紛紛表示對(duì)學(xué)生和老師都非常有幫助。

最后提醒一句，這份清單還在不斷完善中，大家可以隨時(shí)查看更改信息。