澎湃新闻
澎湃新闻52:40播客｜对话陈小杨：一位数学教授如何看待AI在数学领域「拳打脚踢」
澎湃「未来2%」对话同济大学数学科学学院长聘副教授陈小杨。面对2026年AI在猜想反例、形式化证明等方向的连串突破，他从一线研究者视角谈AI数学的能力边界：数学真正价值不只是解题，更在于提供理解世界的视角，而这点AI暂时替代不了。适合关心AI for Math与科研范式变化的听者。
未来2%播客·发布于 7周前
共 2 条
澎湃新闻52:40澎湃「未来2%」对话同济大学数学科学学院长聘副教授陈小杨。面对2026年AI在猜想反例、形式化证明等方向的连串突破，他从一线研究者视角谈AI数学的能力边界：数学真正价值不只是解题，更在于提供理解世界的视角，而这点AI暂时替代不了。适合关心AI for Math与科研范式变化的听者。
未来2%播客·发布于 7周前
看理想梁捷在《AI经济学》番外里，借数学界近期几件「AI 解出难题」的事件，追问知识生产的节奏：当机器能快速提出和验证，人类学术共同体是否还来得及理解、消化与证伪。节目把焦点从「能不能算出来」拉回到「理解、复现与责任仍由谁承担」，适合对 AI for Science 保持冷静兴趣的人。