澎湃新闻
音频未来2%播客 · 澎湃新闻 · 52:40 · zh
发布时间 7周前 · 2026年9月13日 09:12
播客｜对话陈小杨：一位数学教授如何看待AI在数学领域「拳打脚踢」
澎湃「未来2%」对话同济大学数学科学学院长聘副教授陈小杨。面对2026年AI在猜想反例、形式化证明等方向的连串突破，他从一线研究者视角谈AI数学的能力边界：数学真正价值不只是解题，更在于提供理解世界的视角，而这点AI暂时替代不了。适合关心AI for Math与科研范式变化的听者。
音频未来2%播客 · 澎湃新闻 · 52:40 · zh
发布时间 7周前 · 2026年9月13日 09:12
澎湃「未来2%」对话同济大学数学科学学院长聘副教授陈小杨。面对2026年AI在猜想反例、形式化证明等方向的连串突破，他从一线研究者视角谈AI数学的能力边界：数学真正价值不只是解题，更在于提供理解世界的视角，而这点AI暂时替代不了。适合关心AI for Math与科研范式变化的听者。