Szegedy：数学不是终结，而是借助 AI 毕业成为真正的科学基础设施

Christian Szegedy 发文称，AI 解决数学问题的能力近期快速提升，已能登顶过去若干未解猜想，因而传统数学英雄式探索的意义将被改写。他把数学比作丛林探险、把 AI 进展比喻为从初期的短程飞机走向成熟的航空工业，预言数学将毕业为规模化产业与科学基础设施，而衡量数学家的标准也会从攀登难题转向选择地形、调度机队与向公众解释发现。