在 AI for Math 領域，如果你一直找不到合適的資源，這份清單或許會有幫助。
剛剛，著名數學家陶哲軒的個人博客又更新了，這次他們整理了一份有用的資源列表，該資源專注於AI for Math，專為那些希望進入數學AI 領域的人提供幫助。 這份清單發起時間最早可追溯到去年，發起機構由美國國家科學院、工程院和醫學院組織的研討會「人工智慧輔助數學推理」提出，陶哲軒擔任研討會主持人。 網址：https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0/edit教授Talia Ringer 整理，供那些希望進入AI 數學領域的人使用，不過這份文件還沒有完全截稿，陶哲軒及其他研究者還在不斷的進行完善（我們還能看到各種修改痕跡）。
根據目錄我們可以看出，列表資源非常豐富。有推薦的教科書、課程資源、社群討論、推薦工具等。
在課程這一欄，我們也看到知名 AI 學者吳恩達的機器學習課程出現在推薦清單裡（點擊連結就能直達，非常方便）。
關於這份清單的更多詳細內容，我們接著往下看。
關於教育，清單推薦了一些可用的教科書和調查報告、維基和詞彙表、教程、數據集和基準、課程教材等。
由於 AI for Math 是一個高度協作的交叉領域，因此和那些具有互補專業知識以及有經驗的人交流非常有益，基於此，列表推薦了一些社區論壇，方便大家討論。
研究 AI 與數學，當然離不開工具和程式碼庫，推薦清單中列出了機器學習框架、證明助理、數學工具、數學庫等。
在大模型刷屏的今天，AI for Math 自然少不了LLM，這份資源清單給出了可訪問的通用模型，大家熟悉的LLM 都在列表內：
用於數學的LLM：
用於形式化證明的LLM：
以及聊天機器人：
看到這份清單後，大家都表示幫助。
最後提醒一句，這份清單還在不斷完善中，大家可以隨時查看更改資訊。
以上是陶哲軒力薦、親自把關：AI for Math照這個清單學就對了的詳細內容。更多資訊請關注PHP中文網其他相關文章！
