【人工智能】AI时代下的数学变革 | 菲尔兹奖得主陶哲轩 | 挂谷问题 | 纳维-斯托克斯方程 | 流体计算机 | AI缺少数学嗅觉 | 形式化证明LEAN | 孪生素数 | 黎曼猜想 | 永恒追问

Video Description

⭐️【官方商店 | 购买同款T恤】：https://go.bstp.hk/t-shirts 6月15日，知名播客主持人Lex Fridman，对陶哲轩进行了一场长达三个多小时的访谈，在对话中，陶哲轩深入探讨了三个核心命题，包括那些困扰人类百年的数学难题，究竟难在何处？当 AI 开始辅助定理证明，传统的数学研究范式正在发生怎样的变革？以及在算法日益精进的时代，人类数学家的独特价值又该如何定义？今天大飞就来试着给大家梳理一下这场对话的核心内容，看看在这位号称“数学界莫扎特”的天才眼中，人类、数学和AI的未来将会如何发展。 https://youtu.be/HUkBz-cdB-k?si=EampN__p2xNzQs7h