• 时间:
  • 分类: AI行业
  • 标签: 陶哲轩
  • 阅读(389)
  • 👍推荐(0)
  • 评论(0)

几天前，陶哲轩 (顶级数学家，AI+Math 先行者) 发推开源了一份「AI for Math」资源列表。经过陶哲轩和其他研究者的不断完善，目前内容已基本确定 (但仍开放编辑中)。

以下是资源目录的中文翻译，这应该是AI Math 领域最权威和全面的资源清单了！

教育

  • 教科书和综述论文
  • 维基百科和术语表
  • 教程
  • 课程资料
  • 博客、观点文章和个人经历

协作

  • 论坛

工具和资源库

  • 机器学习框架
  • 证明助手
  • 约束求解器与自动定理证明器
  • 计算数学工具
  • 数学数据库
  • 数学搜索引擎
  • 集成的数学 AI 工具
  • 数据集和基准测试
  • 语言模型和聊天机器人
  • 通用模型
  • 数学模型
  • 形式证明的机器学习模型
  • 聊天机器人

数学光学字符识别 (OCR)

研究

  • 元文献
  • 会议和期刊
  • 激励机制

官方链接 https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0/edit