视频讲述了陶哲轩在儿子瑞利·陶的采访中,分享自己对AI在数学研究领域应用的看法、实践案例、AI的优缺点及未来发展方向等内容,具体如下:
- **陶哲轩对AI的整体定位与类比**:陶哲轩认为当前AI强大但存在不可靠性,将其类比为喷气发动机,虽强大却不能直接装在人身上当飞行背包(危险),但可通过安全可靠的方式(如飞机)应用;还类比为高压水枪式的污水,需“过滤器”(如数学验证机制)处理才能产出可用成果,且提到AI当前类似2000年初的谷歌,是能提供帮助但仍需验证的实用工具。
- **陶哲轩使用AI辅助数学研究的具体场景**:一是用AI做文献综述,AI会提供参考文献列表(部分可能虚构),需人工核实,且真实有用的文献占比逐渐增加;二是让AI编写特定程序,自己凭借对编程的了解调试完善,使研究包含更多模拟和代码;三是与谷歌DeepMind团队合作,利用Alpha Evolve工具构造优化特定评分的对象示例,为纯数学问题(如寻找最小码系统)提供构造思路,再由人工完成论文撰写与证明。
- **AI的缺陷及数学领域的应对办法**:AI(大型语言模型)本质是随机生成文本的“猜谜机”,具有随机性,总会出错,虽能降低错误率但本质不可靠;在数学领域,可借助形式证明辅助工具(类似计算机编程语言的编译器)验证AI输出,该工具能检查数学证明是否正确,目前对组合学等简单初等方法验证效果较好,对复杂数学证明仍有不足,但可通过此工具安全可靠使用AI。
- **陶哲轩对AI相关基准测试的看法**:基准测试是重要目标,但过度专注会导致工具过度拟合基准,偏离实际问题,类似教育中过度依赖标准化考试会让学生只学应试技巧;当前许多AI基准测试已饱和,需开发更贴近现实问题的基准测试,更重要的是将AI工具投入实际应用,观察真实使用情况以获取真实世界数据。
- **AI未来发展方向与人类-AI合作模式**:AI发展需注重“实用性”,关注科学家加速研究的需求,完善现有成熟AI技术使其更用户友好;不能仅依赖大型语言模型,需探索其他AI架构;短期内(未来十年二十年),人类与AI各有优势,AI擅长处理海量数据(如阅读大量论文、尝试多种想法),人类擅长从极少量数据中归纳规律,基于比较优势,最优合作模式是AI负责“蛮力计算”(如搜索大量例子并标记有潜力的),人类负责需要创造力和规律归纳的工作。