陶哲軒力薦、親自把關：AI for Math照這個清單學就對了

機器之心報道

編輯：陳萍

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

這份清單發起時間最早可追溯到去年，發起機構由美國國家科學院、工程院和醫學院組織的研討會「人工智能輔助數學推理」提出，陶哲軒擔任研討會主持人。

目前，網址資源已經公開。

網址：https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0/edit

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

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

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

關於這份列表的更多詳細內容，我們接着往下看。

關於教育，清單推薦了一些可用的教科書和調查報告、維基和詞彙表、教程、數據集和基準、課程教材等。

由於 AI for Math 是一個高度協作的交叉領域，因此和那些具有互補專業知識以及有經驗的人交流非常有益，基於此，列表推薦了一些社區論壇，方便大家討論。

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

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

用於數學的 LLM：

用於形式化證明的 LLM：

以及聊天機器人：

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

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