量子位专访陶哲轩:我为什么现在创办一个AI x Science组织
合集 · 量子位会客厅 (7)
Description
我们与陶哲轩、Chuck Ng进行了一场对话,聊了聊 “AI for Science”是什么、AI如何改变科研、学术界和产业界未来的合作方向等等。陶哲轩本人也公开了自己使用AI的方式以及对AI的看法。(以嘉宾原话为准哦~)
我们与陶哲轩、Chuck Ng进行了一场对话,聊了聊 “AI for Science”是什么、AI如何改变科研、学术界和产业界未来的合作方向等等。陶哲轩本人也公开了自己使用AI的方式以及对AI的看法。(以嘉宾原话为准哦~)
Comments
TAO把这么多精力放到了AI上,有种天时地利人和的感觉。一方面他一直都在积极使用AI帮助自己解决问题,另一方面纯数学方面的经费也是越来越难搞了。 我自己是非常看好大模型和形式化证明的结合的。这条路走通了某种程度上甚至可以说是人类数学的终结。 但这样想反而有可能跟停机问题一样有着局限。
♥ 146 ↩ 12
自从被特朗普裁减数学科学研究的经费后,TAO就开始投入ai应用的工作当中了 ,甚至有种想跨界到计算机科学的苗头
♥ 45 ↩ 2
这真的是一篇超级好的演讲,里面的观点真的很先进,非常有价值,尤其是陶哲轩的观点,大师说的井井有条,每一个回答和补充都是切中关键点,直面问题的核心,太cool了 此外我也发现了适合自己去听英文讲说podcast的一种方式 中文字幕,很可能双语字幕不适合我(会吸走我过多的注意力
♥ 19 ↩ 1
这东西让我想起来上个月有一个叫FARS的项目,让AI跑了一周产出一百多篇可复现的论文(深度学习领域的)。当时觉得好牛逼,结果现在随着模型能力的迭代,claudecode+opus+superpower插件+Ralph插件也能自主完成计算机领域的科研闭环了。 等再过一年说不定数学、理论物理也能步入自动科研的时代了。
♥ 21
哇,是怎么联系上陶并且能采访到他的
♥ 11 ↩ 2
科研版徐师傅
♥ 7
能给个show notes吗?直接跳感兴趣的问题,体验会好一点。还是视频分段一下。
♥ 6 ↩ 1
问点纯数学有关的内容啊[笑哭]问的这些和ai有关的问题油管上tao回答了一大堆[笑哭]
♥ 10 ↩ 7
陶用lean4用的可欢了
♥ 3
陶最近研究ai挺猛的
♥ 3
由陶哲轩大佬和多位顶尖大佬创建的ai➕科学研究机构在b站的官号[星星眼]@SAIRfoundation
♥ 2
我怎么看着这个主持人长得特别像特厨隋坡[笑哭]
♥ 2
[滑稽]
♥ 1
估计花了不少[呲牙]
♥ 1
@MilkyAi 用claude总结视频内容发到我的邮箱
♥ 1
电饭锅很好用
111111
打得过刚刚好
三下乡给不给
https://www.qbitai.com/2026/03/387832.html