新京报记者 冯ç�ª æ�¨è�²è�² 校对 å�´å…´å�‘　　AI对数学界的冲击正在加速蔓延。　　9月12日，æ�®å¤šå®¶åª’体报é�“，邓煜ã€�陶哲轩等25ä½�数学家ã€�è�²å°”兹奖得主è�”å�ˆå�‘布了一份å��为《人工智能在数学中的严é‡�é”™ä½�（A Severe Misalignment of AI in Mathematics）》的公开声æ˜�。声æ˜�称，大语言模å�‹çš„数学能力快速æ��å�‡ï¼ŒAIå…¬å�¸æ­£åœ¨ä»¥è§£å†³æ•°å­¦é—®é¢˜ä½œä¸ºå…¶èƒ½åŠ›åŸºå‡†ï¼Œä¸�数学界追求数学研究è¦�ç�†è§£ã€�æ��出新问题和培养人æ‰�的核心目标严é‡�é”™ä½�，å�¯èƒ½æ�Ÿå®³æ•°å­¦ç ”究生æ€�，尤其影å“�学生和早期è�Œä¸šæ•°å­¦å®¶ã€‚　　这并é��数学领域专家学者首次就AI对数学研究带æ�¥çš„å½±å“�问题å�‘声。今年6月2日，由多ä½�国际知å��数学学者è�”å�ˆå�‘布的《人工智能ä¸�æ•°å­¦è�±é¡¿å®£è¨€ã€‹å…¬å¸ƒï¼Œå…¶ä¸­ä¹Ÿæ˜�ç¡®æ��到人工智能的最新å�‘展给数学研究带æ�¥äº†ä¸€å®šçš„å¨�èƒ�，甚至会å�±å�Šæ•°å­¦å­¦ç§‘的未æ�¥ã€‚　　此外，丘æˆ�æ¡�ã€�邓煜等多ä½�数学家此å‰�也曾就相关问题å�‘声。“一个题目，ä¸�å�•æ˜¯ç­”案é‡�è¦�，找答案的过程å�¯èƒ½æ›´é‡�è¦�——这个过程里能看到的东西，跟答案本身一样é‡�è¦�。â€�丘æˆ�æ¡�æ­¤å‰�在æ�¥å�—新京报记者采访时称。　　陶哲轩ã€�邓煜等数学家共å�Œå�‘声　　记者了解到，这场声æ˜�的“导ç�«ç´¢â€�是本月åˆ�OpenAI的一次å�‘布。æ�®åª’体报é�“，9月8日，OpenAI声æ˜�称，其尚未公开的模å�‹ä»…用88å°�时就解决了纳维-斯托克斯方程问题，存在性ä¸�光滑性问题的è¯�æ˜�，并å�Œæ­¥å…¬å¼€166页论文和Lean（计算机定ç�†è¯�æ˜�器）验è¯�代ç �。æ�®æ‚‰ï¼Œè¿™æ˜¯å…‹é›·æ•°å­¦ç ”究所2000年选出的七大“å�ƒç¦§å¹´å¤§å¥–难题â€�之一。　　éš�å��，25ä½�数学家迅速公开声æ˜�。声æ˜�指出，在过å�»å‡ ä¸ªæœˆé‡Œï¼Œå¤§è¯­è¨€æ¨¡å�‹ï¼ˆLLM）的数学能力急剧æ��å�‡ï¼Œä»¥è‡³äº�它们能够解决许多数学领域中的é‡�大未决问题。然而，AIå…¬å�¸æŠŠè§£å†³æ•°å­¦é—®é¢˜ä½œä¸ºèƒ½åŠ›åŸºå‡†æ�¥æ�¨åŠ¨ï¼Œè¿™å¯¹æ•°å­¦ç§‘学和数学界是有害的。AIå…¬å�¸çš„目标ä¸�数学界的目标严é‡�é”™ä½�。　　声æ˜�æ��到，一个知å��问题常常充当数学世界里的路标和ç�¯å¡”，解决其中æŸ�个问题，一直是新æ´�è§�和方法的æ˜�确标志；éš�å��，数学界会通过漫长而艰苦的讲座ã€�讨论和简化过程æ�¥ç ”究它们，有些数学æ€�想甚至会走得更远，在几å��年或几百年å��æˆ�为被广泛ç�†è§£å’Œä½¿ç”¨çš„工具。声æ˜�进一步指出，以越æ�¥è¶Šå¿«çš„速度大规模生产答案，å�¯èƒ½åœ¨æ‘§æ¯�孕育æ€�想的土壤。　　记者注æ„�到，该声æ˜�çš„å�‘起者为25ä½�数学家，他们å�‡ä¸ºå�†å¹´çš„è�²å°”兹奖è�·å¾—者。其中之一是2006å¹´è�²å°”兹奖得主ã€�å��裔数学家代表陶哲轩。　　25ä½�数学家中还包括2026å¹´è�²å°”兹奖得主ã€�中国ç±�数学家邓煜。在今年8月举行的2026国际基础科学大会“数学之夜â€�专场沙龙上，邓煜曾指出，AI既有显著长处，也存在æ˜�显局é™�。AI在数学研究中é�¢ä¸´çš„挑战，ä¸�人类数学家所é�‡åˆ°çš„困难并é��å�Œä¸€ç±»ï¼šAI擅长检索已有文献和补全细节æ�¨å¯¼ï¼Œè€Œè¿™éƒ¨åˆ†å·¥ä½œå¯¹æ•°å­¦å®¶è€Œè¨€å¾€å¾€çƒ¦ç��耗时；人类所具备的å�Ÿåˆ›æ€§æ€�ç»´å�´æ˜¯å½“å‰�AI所无法替代的。　　“æ�¥ä¸‹æ�¥å¦‚何使用ã€�如何监管AIé��常é‡�è¦�â€�　　这并é��数学领域专家学者首次就AI对数学研究带æ�¥çš„å½±å“�问题å�‘声。　　今年6月2日，由多ä½�国际知å��数学学者è�”å�ˆå�‘布的《人工智能ä¸�æ•°å­¦è�±é¡¿å®£è¨€ï¼ˆLeiden Declaration on æ£åœ¨â€œæ�æ�‰â€�æ°å？é‚çœã€�陶å²è½©ç‰ä½�è�²å°å¹å¥–å¾äç§æ€¥â€œå�¹å¨â€�在å��å¹ä€ä¹ˆï¼Ÿæ–°æµªè¢ç�新浪ç½Artificial Intelligence and Mathematics）》公布，其中也æ˜�ç¡®æ��到人工智能的最新å�‘展给数学研究带æ�¥äº†ä¸€å®šçš„å¨�èƒ�，尤其对学生和处äº�è�Œä¸šç”Ÿæ¶¯æ—©æœŸçš„数学家尤其影å“�严é‡�，甚至会å�±å�Šæ•°å­¦å­¦ç§‘的未æ�¥ã€‚　　事å®�上，对äº�人工智能在数学研究领域的应用，多ä½�数学家曾表达ä¸�å�Œè§‚点。　　今年8月的国际基础科学大会上，首ä½�å��人è�²å°”兹奖得主ã€�清å��大学讲席教æ�ˆä¸˜æˆ�æ¡�è°ˆå�Šç›¸å…³é—®é¢˜è¡¨ç¤ºï¼Œé�¢å¯¹å¸­å�·å�„领域的人工智能浪潮，AI已在数学æ�¨æ¼”ã€�定ç�†è¯�æ˜�等方é�¢å±•ç�°å‡ºå¼ºå¤§æ•ˆèƒ½ï¼›ä½†ä¸˜æˆ�æ¡�å�Œæ—¶å¼ºè°ƒï¼ŒAI仅为辅助科研的高效工具，无法替代人类独有的å�Ÿåˆ›æ€�考ã€�ç�¬æ—¶è¿¸å�‘çš„ç�µæ„Ÿä»¥å�Šå¯¹ç§‘学真ç�†ä¸�自然之ç¾�çš„æ°¸æ�’求索。　　日å‰�丘æˆ�æ¡�在æ�¥å�—新京报记者采访时指出，AI并ä¸�æ“…é•¿æ��问，其能å�šçš„是解答部分æ��问，“但对我æ�¥è®²ï¼Œå�šå­¦é—®æœ€é‡�è¦�的是æ€�么问问题。â€�其表示，å�šå­¦é—®ï¼Œæ€�考和创造力始终是核心，作为学者还是è¦�花时间æ€�考，先把é‡�è¦�的问题找出æ�¥ã€‚“一个题目，ä¸�å�•æ˜¯ç­”案é‡�è¦�，找答案的过程å�¯èƒ½æ›´é‡�è¦�——这个过程里能看到的东西，跟答案本身一样é‡�è¦�。â€�　　ICCM数学奖首届金奖得主ã€�æ™®æ�—斯顿大学教æ�ˆå¼ å¯¿æ­¦ä¹Ÿæ›¾è¡¨è¾¾ç±»ä¼¼çš„观点。其在2026国际基础科学大会上曾谈å�Šè‡ªå·±å¯¹AIå�‘展ä¸�数学研究的看法。“我å�»å¹´è®¤ä¸ºAI跟人相差很远，ç�°åœ¨å�‘ç�°å…¶å®�AI很è�ªæ˜�，但是它们没有大方å�‘，告诉它æ€�么å�šçš„è¯�，它会比我快很多。â€�ç�°åœºï¼Œå¼ å¯¿æ­¦å¹½é»˜è€Œå�¦è¯šåœ°å›�应媒体称，“我是ä¸�敢跟AI交æµ�的，跟它交æµ�之å��它肯定比我跑得还快，所以我自己ç�¢ç£¨ï¼Œç•™ç‚¹â€˜è‡ªç•™åœ°â€™ï¼Œäº¤ç»™å®ƒæˆ‘å°±æ�§åˆ¶ä¸�了了，而且我也ä¸�知é�“它会ä¸�会告诉别人，这个é��常é‡�è¦�。â€�　　张寿武解释é�“，在数学领域已ç»�å�‘ç�°AIå�¯ä»¥è§£å†³ä¸€äº›æ¯”较简å�•çš„问题，而且比人类的æ€�考速度è¦�快。但是AI在深度æ€�考这方é�¢ï¼Œåˆ°ç›®å‰�为止跟人类还相差很远，ä¸�过这并ä¸�ç­‰äº�在未æ�¥å‡ å¹´å†…它ä¸�能赶上æ�¥ã€‚ä»–æ��到，æ�¥ä¸‹æ�¥å¦‚何使用ã€�如何监管AIé��常é‡�è¦�。　　记者注æ„�到，也有部分数学学者开始研究AI如何更好æœ�务数学研究。　　2026å¹´5月，北大AI4MATH团队牵头研å�‘çš„AI系统Rethlas-Archon，在全自动ã€�无人类å�‚ä¸�çš„æ�¡ä»¶ä¸‹ï¼Œé€šè¿‡æ�„造å��例å�¦å®šäº†äº¤æ�¢ä»£æ•°é¢†åŸŸæ‚¬ç½®å��余年的Anderson猜想，并完æˆ�近两万行Lean 4å½¢å¼�化验è¯�（å�³è®©è®¡ç®—机é€�行检查è¯�æ˜�çš„æ¯�一步）。Natureæ�‚å¿—2026å¹´5月21日的专题报é�““AI is transforming mathematicsï¼� Will it conquer the field？â€�æ��到了本次工作，将其作为当å‰�AIä¸�数学深度è��å�ˆçš„å‰�沿案例加以介ç»�。　　团队æˆ�员ã€�北京大学数学科学学院院长刘若å·�对AI辅助数学研究的å‰�景表示ä¹�观，并且认为进展å�¯èƒ½æ¯”大多数人预期的更快，但他也有担忧。AIæ��供的是具体的å®�践知识（know-how），如æ�œäººè¿�这一层知识都ä¾�赖机器，能力会分化：少部分人底层能力æ‰�å®�，用AI放大å��会很强；但如æ�œåŸºæœ¬åŠŸæ²¡æ‰“好就ä¾�èµ–AI，差è·�å��而会拉大。　　ä»�学科å�‘展和人æ‰�培养角度而言，刘若å·�认为除了AI4MATH（AI辅助数学研究），å�Œæ ·é‡�è¦�的是MATH4AI（数学å��哺人工智能研究），“数学是人工智能的逻辑基石，除了è¦�æŒ�续投入数学形å¼�化ä¸�AI辅助数学研究，加快æ�„建数学研究新范å¼�外，还è¦�å�Œæ—¶è€ƒè™‘å��哺大模å�‹æ•°å­¦æ�¨ç�†èƒ½åŠ›æ��å�‡ã€‚â€�其表示，“未æ�¥éœ€è¦�的是å¤�å�ˆå�‹äººæ‰�，数学功底æ‰�å®�，å�Œæ—¶æ‡‚AIã€�有跨学科的视é‡�。数学训练给人的抽象和æ�¨ç�†èƒ½åŠ›çš„价值在AI时代ä¸�是在å‡�弱，而是在å¢�强。但å�ªæœ‰è¿™äº›ä¸�够，新一代数学人还需è¦�学会ä¸�AIå��作，学会跨越学科的边界。â€�æµ·é‡�资讯ã€�精准解读，尽在新浪财ç»�APP责任编辑：韦å­�蓉

(责任编辑：综合)