Album
AI前沿

数学天才入局AI | 陶哲轩 | Sair基金会 | 形式化验证

22分钟 289 2周前
节目简介
来源:小宇宙
当数学界的莫扎特陶哲轩决定为 AI 立规矩,科学界的范式革命正式开启。为什么顶尖科学家对 AI 编造的文献嗤之以鼻,却又坚信它能改变科学?本期带你直击陶哲轩 2026 年最新专访,拆解他如何利用形式化验证将 AI 的模糊思路转化为精准逻辑。从 Sair 基金会的创立初衷,到AI 只是科研调味剂的深度隐喻,陶哲轩为我们勾勒了一幅人机协作的终极蓝图。这不仅是关于技术的探讨,更是一场关于真理、逻辑与人类创造力边界的巅峰对话。
聊天讨论群,可加微信gxjdian入群,需备注,来自播客AI前沿
评价

空空如也

小宇宙热评

暂无小宇宙热门评论

加入我们的 Discord

与播客爱好者一起交流

立即加入

扫描微信二维码

添加微信好友,获取更多播客资讯

微信二维码

播放列表

自动播放下一个

播放列表还是空的

去找些喜欢的节目添加进来吧