用户名:  密码:   
网站首页即时通讯活动公告最新消息科技前沿学人动向两岸三地人在海外历届活动关于我们联系我们申请加入
栏目导航 — 美国华裔教授专家网最新消息社区报道
关键字  范围   
 
UCLA陶哲轩教授力荐、亲自把关:AI for Math照这个清单学就对了
2024/4/16 15:17:48 | 浏览:672 | 评论:0

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

刚刚,著名数学家陶哲轩的个人博客又更新了,这次他们整理了一份有用的资源列表,该资源专注于 AI for Math,专为那些希望进入数学 AI 领域的人提供帮助。

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

这份清单发起时间最早可追溯到去年,发起机构由美国国家科学院、工程院和医学院组织的研讨会「人工智能辅助数学推理」提出,陶哲轩担任研讨会主持人。

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

目前,网址资源已经公开。

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

在关于清单的介绍中我们看出,这是一个初步的资源列表,最初由 UIUC 教授 Talia Ringer 整理,供那些希望进入 AI 数学领域的人使用,不过这份文档还没有完全截稿,陶哲轩及其他研究者还在不断的进行完善(我们还能看到各种修改痕迹)。

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

根据目录我们可以看出,列表资源非常丰富。有推荐的教科书、课程资源、社区讨论、推荐工具等。

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

在课程这一栏,我们还看到知名 AI 学者吴恩达的机器学习课程出现在推荐列表里(点击链接就能直达,非常方便)。

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

关于这份列表的更多详细内容,我们接着往下看。

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

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

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

在大模型刷屏的今天,AI for Math 自然少不了 LLM,这份资源清单给出了可访问的通用模型,大家熟悉的 LLM 都在列表内:

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

用于数学的 LLM:


用于形式化证明的 LLM:

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

以及聊天机器人:

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

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

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

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

相关专题二:『美国华裔教授专家网活动集锦
『学人动向』 丘成桐:中国现今数学还没有达到美国20世纪40年代水平 2024-05-06 [222]
『社区报道』 AI教母李飞飞首次创业!成立“空间智能”公司,已完成种子轮 2024-05-05 [201]
『社区报道』 祝贺!鲍哲南教授多位华人学者当选美国国家科学院院士 2024-05-05 [231]
『社区报道』 数学大师丘成桐:为何说中国的科技肯定要倒退20年? 2024-04-26 [545]
『社区报道』 丛京生教授等13位华人学者当选美国艺术与科学院院士 2024-04-26 [477]
『社区报道』 天才陶哲轩“啥是好的数学?” 经济学界呼应“啥是好的经济学?” 2024-04-20 [585]
『社区报道』 华裔科学家李飞飞:她看见的世界和她改变的世界 2024-04-14 [715]
『社区报道』 陶哲轩转发、菲尔兹奖得主领衔:AI正在颠覆数学家的工作方式 2024-04-08 [806]
『社区报道』 李飞飞教授主讲,斯坦福2024 CS231n开课,依旧座无虚席 2024-04-06 [861]
『社区报道』 丘成桐:为了大统一理论,把宇宙建到十维了 2024-03-28 [1069]
相关专题更多文章
相关栏目:『社区报道
20幅讽刺现代人的插画,真实又残忍,看完第一幅就被刺痛了 2024-05-17 [4]
美国藤校生,毕业季爆改“起义季” 2024-05-16 [60]
美国驻华总领事们都有谁?(上) 2024-05-09 [140]
丘成桐讲座:中国数学的现状和将来 2024-05-08 [163]
19名杰出个人获得今年总统自由勋章 2024-05-08 [115]
AI教母李飞飞首次创业!成立“空间智能”公司,已完成种子轮 2024-05-05 [201]
祝贺!鲍哲南教授多位华人学者当选美国国家科学院院士 2024-05-05 [231]
数学大师丘成桐:为何说中国的科技肯定要倒退20年? 2024-04-26 [545]
丛京生教授等13位华人学者当选美国艺术与科学院院士 2024-04-26 [477]
清华学霸杀妻案再度开庭 2024-04-24 [287]
相关栏目更多文章
最新图文:
:摄影师苏唐诗与寂寞百年的故宫对话6年,3万张照片美伦美奂 :大数据分析图解:2019中国企业500强 张梦然:英国惠康桑格研究所:人体内的微生物与出生方式有关 :美众议院将调查华裔部长赵小兰“利用职权为家族谋利“ :UCLA CCS 2019 Fall Quarter Lecture Series Overview 谭晶晶:美国科技界高度关注中国科技创新进展 :推荐:2019年底前中国高校重要学术论坛(10月 - 12 月) :黄奇帆:今后10年,中国经济将发生5个历史性变化
更多最新图文
更多《即时通讯》>>
 
打印本文章
 
您的名字:
电子邮件:
留言内容:
注意: 留言内容不要超过4000字,否则会被截断。
未 审 核:  是
  
关于我们联系我们申请加入后台管理设为主页加入收藏
美国华裔教授专家网版权所有,谢绝拷贝。如欲选登或发表,请与美国华裔教授专家网联系。
Copyright © 2024 ScholarsUpdate.com. All Rights Reserved.