刚刚，著名数学家陶哲轩的个人博客又更新了，这次他们整理了一份有用的资源列表，该资源专注于 AI for Math，专为那些希望、推荐工具等。在课程这一栏，我们还看到知名 AI 学者吴恩达的机器学习课程出现在推荐列表里（点击链接就能直达，非常方便）。关于这份列表的更多详细内容，我们接着往下看。关于教育，清单推荐了一些可用的教科书和调查报告、维基和词汇表、教程、数据集和基准、课程教材等。由于 AI for Math 是一个高度协作的交叉领域，因此和那些具有互补专业知识以及有经验的人交流非常有益，基于此，列表推荐了一些社区论坛，方便大家讨论。研究 AI 与数学，当然离不开工具和代码库，推荐列表中列出了机器学习框架、证明助手、数学工具、数学库等。在大模型刷屏的今天，AI for Math 自然少不了 LLM，这份资源清单给出了可访问的通用模型，大家熟悉的 LLM 都在列表内：用于数学的 LLM：用于形式化证明的 LLM：以及聊天机器人：看到这份清单后，大家纷纷表示对学生和老师都非常有帮助。最后提醒一句，这份清单还在不断完善中，大家可以随时查看更改信息。
