AI在线 AI在线

陶哲轩力荐、亲自把关:AI for Math照这个清单学就对了

在 AI for Math 领域,如果你一直找不到合适的资源,这份清单或许会有帮助。刚刚,著名数学家陶哲轩的个人博客又更新了,这次他们整理了一份有用的资源列表,该资源专注于 AI for Math,专为那些希望进入数学 AI 领域的人提供帮助。这份清单发起时间最早可追溯到去年,发起机构由美国国家科学院、工程院和医学院组织的研讨会「人工智能辅助数学推理」提出,陶哲轩担任研讨会主持人。目前,网址资源已经公开。网址:,这是一个初步的资源列表,最初由 UIUC 教授 Talia Ringer 整理,供那些希望进入 AI 数

在 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:

图片

以及聊天机器人:

图片

看到这份清单后,大家纷纷表示对学生和老师都非常有帮助。

图片

最后提醒一句,这份清单还在不断完善中,大家可以随时查看更改信息。

相关资讯

美国政府效率部门利用 AI 工具拟删除半数联邦法规,引发争议

埃隆・马斯克虽然已不再担任政府效率部门(DOGE)的负责人,但该部门最近仍因其使用人工智能(AI)工具而引发了广泛的争议。 根据《华盛顿邮报》报道,DOGE 正在利用一款名为 Doge AI 的工具,致力于创建一份拟删除的联邦法规清单,目标是在特朗普总统就职周年纪念日之前,删除50% 的联邦法规。 图源备注:图片由AI生成,图片授权服务商Midjourney该 AI 工具的使用旨在分析约20万条联邦法规,预计将有大约10万条规则被认为是可以删除的。
7/28/2025 9:51:53 AM
AI在线

不能实习?网传MSRA停招国防七子及北邮在校生

美国商务部对实体清单相关对象的限制越来越大了。
4/14/2022 12:14:00 PM
机器之心

菲尔兹奖得主深度参与,WAIC全方位探讨「AI for Math」

2025 年 7 月 26 日,上海世博展览馆迎来一场聚焦 "人工智能的数学边界与基础重构" 的高端论坛。 作为世界人工智能大会(WAIC)的重要组成部分,这场由上海市普陀区人民政府与菲数中国主办、上海市人工智能行业协会和上海东浩兰生威客引力信息科技有限公司联合承办的盛会,正成为全球关注的焦点。 当 AI 技术与数学研究进入深度交织的新阶段,2025 WAIC 的召开恰如一场及时雨,为二者的协同发展搭建了关键对话平台。
7/27/2025 10:48:00 PM
ScienceAI
  • 1