1
0如果说科学研究是一场漫长的对话，那么AI的加入正在改变这场对话的方式。
我们正站在科研协作方式变革的临界点：AI不再只是回答问题的工具，而正在成为能够提出假设、设计实验、甚至生成完整证明的"合作者"。
正如陶哲轩教授所言，我们需要真正将AI整合进工作流程，而不仅仅是把它当作一个按钮式的解决方案生成器。
在《On the SAIR》的第三期节目中，世界知名数学家、加州大学洛杉矶分校数学系终身教授、SAIR联合创始人陶哲轩将再次与主持人展开深度对话。他们从即将举行的SAIR启动会谈起，探讨AI在科学研究中的真实应用现状、可靠性难题的解决之道，以及人机协作的未来图景。
在本期节目当中，你将听到： 为什么数学是AI应用最具潜力的领域？形式化验证如何让AI"诚实守信"？AI与人类在科研中的自然分工应该是怎样的？当前AI在创造性突破和持续学习方面还缺少什么？如何设计真正有效的人机协作工作流程？
【时间轴】
00:00 开场：SAIR启动会即将在IPAM举行
01:30 为什么决定共同创立SAIR基金会？
03:22 数学：AI应用最具潜力的领域
05:45 形式化验证——让AI保持诚实的"过滤器"
08:30 从"按钮式解决方案"到真正的协作伙伴
12:00 AI的创造性边界：何时能提出前所未有的想法？
15:20 持续学习与专业化：AI还缺少什么？
19:40 设计理想的人机协作工作流程
24:30 目标设定的艺术：为什么精确描述需求如此困难？
28:00 公众认知与科学应用之间的鸿沟
【关于《On the SAIR》】
《On the SAIR》是由SAIR Foundation（科学与人工智能研究基金会）推出的全英播客节目。
【关于SAIR】
科学学与人工智能研究基金会（SAIR Foundation）成立于2025年，是一家由菲尔兹奖得主陶哲轩教授发起、多位诺贝尔奖得主及全球顶尖科学家共同指导的非营利性研究机构。基金会致力于解决科研体系的结构性瓶颈，通过跨学科的全球协作，以科学、安全的方式加速向通用人工智能（AGI）和超级人工智能（ASI）的演进。
我们的官网：sair.foundation
欢迎您同步关注我们的微博、小红书、视频号、B站、公众号同名账号，SAIR与全球科学共同体，共赴未来十年。
