登录
首页 >  科技周边 >  人工智能

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

来源：机器之心

时间：2024-07-11 10:36:27 453浏览 收藏

编程并不是一个机械性的工作，而是需要有思考，有创新的工作，语法是固定的，但解决问题的思路则是依靠人的思维，这就需要我们坚持学习和更新自己的知识。今天golang学习网就整理分享《陶哲轩力荐、亲自把关：AI for Math照这个清单学就对了》，文章讲解的知识点主要包括，如果你对科技周边方面的知识点感兴趣，就不要错过golang学习网，在这可以对大家的知识积累有所帮助，助力开发能力的提升。

在 AI for Math 领域，如果你一直找不到合适的资源，这份清单或许会有帮助。

刚刚，著名数学家陶哲轩的个人博客又更新了，这次他们整理了一份有用的资源列表，该资源专注于 AI for Math，专为那些希望进入数学 AI 领域的人提供帮助。
陶哲轩力荐、亲自把关：AI for Math照这个清单学就对了
这份清单发起时间最早可追溯到去年，发起机构由美国国家科学院、工程院和医学院组织的研讨会「人工智能辅助数学推理」提出，陶哲轩担任研讨会主持人。
陶哲轩力荐、亲自把关：AI for Math照这个清单学就对了
目前，网址资源已经公开。

网址：https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0/edit

在关于清单的介绍中我们看出，这是一个初步的资源列表，最初由 UIUC 教授 Talia Ringer 整理，供那些希望进入 AI 数学领域的人使用，不过这份文档还没有完全截稿，陶哲轩及其他研究者还在不断的进行完善（我们还能看到各种修改痕迹）。
陶哲轩力荐、亲自把关：AI for Math照这个清单学就对了
根据目录我们可以看出，列表资源非常丰富。有推荐的教科书、课程资源、社区讨论、推荐工具等。
陶哲轩力荐、亲自把关：AI for Math照这个清单学就对了
在课程这一栏，我们还看到知名 AI 学者吴恩达的机器学习课程出现在推荐列表里（点击链接就能直达，非常方便）。
陶哲轩力荐、亲自把关：AI for Math照这个清单学就对了
关于这份列表的更多详细内容，我们接着往下看。

关于教育，清单推荐了一些可用的教科书和调查报告、维基和词汇表、教程、数据集和基准、课程教材等。

由于 AI for Math 是一个高度协作的交叉领域，因此和那些具有互补专业知识以及有经验的人交流非常有益，基于此，列表推荐了一些社区论坛，方便大家讨论。

研究 AI 与数学，当然离不开工具和代码库，推荐列表中列出了机器学习框架、证明助手、数学工具、数学库等。

在大模型刷屏的今天，AI for Math 自然少不了 LLM，这份资源清单给出了可访问的通用模型，大家熟悉的 LLM 都在列表内：
陶哲轩力荐、亲自把关：AI for Math照这个清单学就对了
用于数学的 LLM：
陶哲轩力荐、亲自把关：AI for Math照这个清单学就对了
用于形式化证明的 LLM：
陶哲轩力荐、亲自把关：AI for Math照这个清单学就对了
以及聊天机器人：
陶哲轩力荐、亲自把关：AI for Math照这个清单学就对了
看到这份清单后，大家纷纷表示对学生和老师都非常有帮助。
陶哲轩力荐、亲自把关：AI for Math照这个清单学就对了
最后提醒一句，这份清单还在不断完善中，大家可以随时查看更改信息。

本篇关于《陶哲轩力荐、亲自把关：AI for Math照这个清单学就对了》的介绍就到此结束啦，但是学无止境，想要了解学习更多关于科技周边的相关知识，请关注golang学习网公众号！

入门 陶哲轩
声明：本文转载于：机器之心 如有侵犯，请联系study_golang@163.com删除
相关阅读
更多>
最新阅读
更多>
课程推荐
更多>