AI for Math

澎湃新闻

澎湃新闻52:40

播客｜对话陈小杨：一位数学教授如何看待AI在数学领域「拳打脚踢」

澎湃「未来2%」对话同济大学数学科学学院长聘副教授陈小杨。面对2026年AI在猜想反例、形式化证明等方向的连串突破，他从一线研究者视角谈AI数学的能力边界：数学真正价值不只是解题，更在于提供理解世界的视角，而这点AI暂时替代不了。适合关心AI for Math与科研范式变化的听者。