陶哲轩最新整理的 AI for Math 资源清单可谓是一份宝藏，专为那些渴望探索数学人工智能领域的人提供帮助。这份清单源自去年由美国国家科学院、工程院和医学院组织的研讨会「人工智能辅助数学推理」，陶哲轩更是亲自担任了研讨会主持人。
清单中的资源丰富多彩，包括推荐的教科书、课程资源、社区讨论、工具等。特别是在课程推荐中，知名 AI 学者吴恩达的机器学习课程也在其中，点击链接就能直达，非常便捷。
除了教育资源，清单还推荐了一些可用的教科书、调查报告、维基和词汇表、教程、数据集和基准、课程教材等。在这个高度协作的交叉领域中，和具有互补专业知识和经验的人交流至关重要，因此清单中还列出了一些社区论坛，方便大家讨论。
当然，研究 AI 与数学少不了工具和代码库，清单中也包含了机器学习框架、证明助手、数学工具、数学库等。而在如今大模型盛行的时代，AI for Math 领域也少不了 LLM，清单中给出了可访问的通用模型，包括用于数学和形式化证明的 LLM，以及聊天机器人。
看到这份清单后，学生和老师们纷纷表示对其非常有帮助。最后提醒大家，这份清单还在不断完善中，建议随时查看更改信息，以获取最新的资源和信息。让我们一起跟随陶哲轩的力荐，照着这份清单学习，探索数学人工智能的奥秘吧！