10月11日，丘成桐数学与人工智能实验室联盟成立仪式在清华大学求真书院举行，这个由菲尔兹奖得主、清华大学讲席教授丘成桐发起的联盟，联合了清华大学求真书院、中国科学院晨兴数学中心、上海数学与交叉学科研究院等8家数学科研机构，目前已汇聚超1000名科研人员。联盟将向数学科学专用大模型研发、AI辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等方向发起攻关。这个联盟对科技就业真正重塑的不是岗位总量，而是人才的计价方式——当机器越来越会解题，提出重要问题、验证机器结果、在关键处作出判断的能力，正在成为技术劳动力市场上新的定价标的。北京日报返朴财经网
冲击来自近半年AI给数学界带来的震荡。10月6日，OpenAI在GitHub上一次性公开了722篇由内部AI模型生成的数学手稿，涉及372个成果组，覆盖数论、几何、代数、理论计算机科学等多个领域。丘成桐在成立大会的致辞里为这个时代写下判词——这是最兴奋的时代，也是最危险的时代，他呼吁学者共同做成自己原创的数学AI模型。在他看来，“冲击”二字已经不够，更像海啸来了，与其躲起来，不如迎着浪头冲浪。中国青年报返朴知识分子
第一个信号：一批“数学×AI”的交叉岗位正在建制化
联盟的四大攻关方向，每一个都需要既懂数学又懂AI的复合型人才，这类岗位过去散落在AI公司的研究部门里，如今被组织成共享资源的实体网络：各机构将共享算力、模型训练资源和形式化数学库，并陆续在北京、上海、南京、深圳、香港布局数学人工智能实验室。返朴
验证与理解的需求可能比生成更迫切。国际数学联盟副主席何旭华提醒，AI把结果放出来、宣称问题已经解决之后，真正的工作才开始，后面遗留的工作量甚至可能比此前的研究还大。成立仪式上展示的联盟成果里，就有借助AI构造退化阿诺德猜想反例、用AI智能体和27.3万行代码完成卡拉比猜想形式化验证等项目——人机协作写证明、再由机器逐行核验，正是这类新岗位的工作形态雏形。知识分子返朴
第二个信号：技能价值在贬值与增值之间重新定价
贬值的一侧，恰恰是考试和标准化训练最擅长培养的能力。中科院院士田野在成立仪式上明确主张，数学学生的作业、考试模式都要调整。在他看来，以前强调的计算能力AI已经完成得比较好，因此对学生的要求反而更高，要更深入地理解知识，也要有更强的创造力。中国青年报知识分子
增值的一侧，丘成桐划出了人机边界：AI已能有效解决给定的问题，但发现真正重要的新问题、把握数学前进的方向，仍然要靠人。中国科学院院士、中国数学会理事长席南华同样强调，定理本身只是砖块，一整套体系和思维方式才构成建筑，体系性理解和方向判断才是人不可替代的环节。返朴知识分子
第三个信号：人才培养管道在就业出口之前先变了
这种调整已经在兑现效率：成立仪式同期被媒体提及的一个案例是，学生用AI一个月提升算法效率千倍——数学功底加上驾驭AI工具的能力，正在变成看得见的生产力。变化也从清华内部开始：在丘成桐推动下，求真书院已经开始调整学生的培养方式，鼓励学生更早探索前沿问题，同时反复提醒他们检验自己是否真正理解了借助AI得到的答案。北京日报知识分子
学术发表端也在同向布局。丘成桐创办并担任主编的《Journal of AI-Assisted Mathematics》将于2027年年初发布，定位正是AI与数学交叉领域的旗舰学术期刊。返朴
边界：这是计价方式转移的开端，不是就业结果的终点
以上判断都应当条件化地读。联盟本质是科研组织而非产业主体，专用大模型研发、形式化验证等方向的新增岗位能否放量、对就业市场影响多大，目前没有可核验的统计数据；AI产出本身的可靠性也在波动——OpenAI在10月7日撤回了三份手稿，同日另有14份手稿接受修订。席南华把现状形容为旧秩序已失去、新秩序未产生，人机协作成果的发表标准与验证责任如何划分，还要在规则博弈中逐条谈出来。对个人而言，这个联盟真正传递的不是“数学岗要消失”，而是一场已经开始的评价标准迁移：单纯解题能力正被压薄成模型的标配组件，而提出重要问题、判断结果对错、在人机之间解释各自看不懂的部分，是未来十年科技就业市场里持续增值的那一侧。知识分子返朴
