在 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：
以及聊天机械人：
看到这份清单后，各人纷纷表示对学生和老师都十分有接济。
最后提醒一句，这份清单还在不断完善中，各人可以随时查看更改信息。