陶哲轩领衔发布美国AI“登月计划”报告 作者: 新智元 时间: 2024-05-01 分类: AI行业 标签: 陶哲轩 阅读(428) 推荐(0) 评论(0) 在科技的浪潮中,人工智能(AI)正以其独特的方式重塑科学研究的面貌。最近,由著名数学家陶哲轩领衔的团队发布了一份62页的报告,这份报告不仅总结了AI在多个科学领域的应用,还对未来的变革进行了大胆预测。以下是对这份报告的核心内容进行的深度解析。AI对科学研究的潜在影响报告指出,AI技术已...... 阅读全文
陶哲轩推荐的AI for Math资源清单 作者: 陶哲轩 时间: 2024-04-15 分类: AI行业 标签: 陶哲轩 阅读(673) 推荐(0) 评论(0) 几天前,陶哲轩 (顶级数学家,AI+Math 先行者) 发推开源了一份「AI for Math」资源列表。经过陶哲轩和其他研究者的不断完善,目前内容已基本确定 (但仍开放编辑中)。以下是资源目录的中文翻译,这应该是AI Math 领域最权威和全面的资源清单了!教育教科书和综述论文维基百...... 阅读全文
LeanDojo:开源LLM的定理证明器 作者: zhexuan 时间: 2023-07-04 分类: AI应用 标签: 陶哲轩 阅读(965) 推荐(0) 评论(0) 大语言模型,可以用来证明数学定理了!「数学天才」陶哲轩曾在一篇博客中称,2026年,AI将与搜索和符号数学工具相结合,成为数学研究中值得信赖的合著者。这个预言,如今已经成真!加州理工、英伟达、MIT等机构的学者,构建了一个基于开源LLM的定理证明器。而这篇论文,或许将改变数学的未来。项...... 阅读全文