0
0如果说数学是一门孤独的学问，那么AI正在将它变成一场协作的运动。我们正站在数学研究范式变革的临界点：从黑板前的两三人对话，到全球数百人参与的众包项目；从对单个问题的精雕细琢，到对千个问题的大规模"人口普查"。
陶哲轩教授以埃尔德什问题集为例，展示了AI如何成为数学家的"望远镜"——不是替代人类的直觉，而是让我们能够触及以前无法想象的广度。形式化验证则是那道"滤网"，让海量贡献中的真金得以留存。
在本期节目中，你将听到： 为什么数学家直到最近才开始大规模协作？AI如何将数学从"个案研究"转变为"人口研究"？埃尔德什千题计划如何成为AI数学能力的试金石？形式化验证为何是信任AI贡献的关键？人机协作解决数学问题的真实案例。
【时间轴】
00:00 开场：数学是最后的"黑板学科"
02:30 数学为何在协作方面落后于其他科学？
05:45 从个案研究到人口研究：AI带来的范式转变
09:20 埃尔德什千题计划：AI数学能力的基准测试
14:00 形式化验证：让AI"诚实守信"的技术
18:30 真实案例：人类与AI如何协作解决开放问题
24:00 众包数学：高中生也能证明重要定理
28:00 未来展望：AI是工具，而非替代
【关于《On the SAIR》】
《On the SAIR》是由SAIR Foundation（科学与人工智能研究基金会）推出的全英播客节目。
【关于SAIR】
科学与人工智能研究基金会（SAIR Foundation）成立于2025年，是一家由菲尔兹奖得主陶哲轩教授发起、多位诺贝尔奖得主及全球顶尖科学家共同指导的非营利性研究机构。基金会致力于解决科研体系的结构性瓶颈，通过跨学科的全球协作，以科学、安全的方式加速向通用人工智能（AGI）和超级人工智能（ASI）的演进。
我们的官网：sair.foundation
欢迎您同步关注我们的微博、小红书、视频号、B站、公众号同名账号，SAIR与全球科学共同体，共赴未来十年。
