当前位置:首页 > 文章列表 > 科技周边 > 人工智能 > 陶哲轩力荐、亲自把关:AI for Math照这个清单学就对了

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

来源:机器之心 2024-07-11 10:36:27 0浏览 收藏

编程并不是一个机械性的工作,而是需要有思考,有创新的工作,语法是固定的,但解决问题的思路则是依靠人的思维,这就需要我们坚持学习和更新自己的知识。今天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删除
Java 框架在提高跨平台应用程序性能中的优势?Java 框架在提高跨平台应用程序性能中的优势?
上一篇
Java 框架在提高跨平台应用程序性能中的优势?
12年前上手深度学习,Karpathy掀起一波AlexNet时代回忆杀,LeCun、Goodfellow等都下场
下一篇
12年前上手深度学习,Karpathy掀起一波AlexNet时代回忆杀,LeCun、Goodfellow等都下场
查看更多
最新文章
查看更多
课程推荐
  • 前端进阶之JavaScript设计模式
    前端进阶之JavaScript设计模式
    设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
    542次学习
  • GO语言核心编程课程
    GO语言核心编程课程
    本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
    511次学习
  • 简单聊聊mysql8与网络通信
    简单聊聊mysql8与网络通信
    如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
    498次学习
  • JavaScript正则表达式基础与实战
    JavaScript正则表达式基础与实战
    在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
    487次学习
  • 从零制作响应式网站—Grid布局
    从零制作响应式网站—Grid布局
    本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
    484次学习
查看更多
AI推荐
  • 千音漫语:智能声音创作助手,AI配音、音视频翻译一站搞定!
    千音漫语
    千音漫语,北京熠声科技倾力打造的智能声音创作助手,提供AI配音、音视频翻译、语音识别、声音克隆等强大功能,助力有声书制作、视频创作、教育培训等领域,官网:https://qianyin123.com
    104次使用
  • MiniWork:智能高效AI工具平台,一站式工作学习效率解决方案
    MiniWork
    MiniWork是一款智能高效的AI工具平台,专为提升工作与学习效率而设计。整合文本处理、图像生成、营销策划及运营管理等多元AI工具,提供精准智能解决方案,让复杂工作简单高效。
    98次使用
  • NoCode (nocode.cn):零代码构建应用、网站、管理系统,降低开发门槛
    NoCode
    NoCode (nocode.cn)是领先的无代码开发平台,通过拖放、AI对话等简单操作,助您快速创建各类应用、网站与管理系统。无需编程知识,轻松实现个人生活、商业经营、企业管理多场景需求,大幅降低开发门槛,高效低成本。
    117次使用
  • 达医智影:阿里巴巴达摩院医疗AI影像早筛平台,CT一扫多筛癌症急慢病
    达医智影
    达医智影,阿里巴巴达摩院医疗AI创新力作。全球率先利用平扫CT实现“一扫多筛”,仅一次CT扫描即可高效识别多种癌症、急症及慢病,为疾病早期发现提供智能、精准的AI影像早筛解决方案。
    107次使用
  • 智慧芽Eureka:更懂技术创新的AI Agent平台,助力研发效率飞跃
    智慧芽Eureka
    智慧芽Eureka,专为技术创新打造的AI Agent平台。深度理解专利、研发、生物医药、材料、科创等复杂场景,通过专家级AI Agent精准执行任务,智能化工作流解放70%生产力,让您专注核心创新。
    111次使用
微信登录更方便
  • 密码登录
  • 注册账号
登录即同意 用户协议隐私政策
返回登录
  • 重置密码