剛剛，著名數學家陶哲軒的個人部落格又更新了，這次他們整理了一份有用的資源列表，該資源專注於 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：以及聊天機器人：看到這份清單後，大家紛紛表示對學生和老師都非常有幫助。最後提醒一句，這份清單還在不斷完善中，大家可以隨時檢視更改資訊。