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

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

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

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

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

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

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

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

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

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

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

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

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

用于形式化證明的 LLM：

以及聊天機器人：

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

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