文｜《中国科学报》记者赵广立

人工智能（AI）公司借“数学研究冲破”的名头弄“武备竞赛”并宣传造势的举动，终究招致数学界的极年夜不满。

9月11日，陶哲轩、邓煜等25位菲尔兹奖患上主结合签名发表了一封公然信《人工智能于数学中的严峻错位》（A Severe Misalignment of AI in Mathematics），直指“AI公司把解决数学问题看成基准测试来推进的做法，对于数学这门科学、对于数学配合体都是有害的”。

陶哲轩、邓煜这些顶尖的数学家，绝非“反AI主义者”；相反，他们都于各自的研究范畴以差别的方式利用AI，甚至构建辅助数学研究的AI东西。从这封结合签名的公然信中不丢脸出，他们并不是否认AI数学能力的晋升，甚至看好AI于加强及加快真正数学研究方面的潜力。

让他们如鲠于喉的，是“AI公司的方针与数学配合体的方针发生了严峻错位”。详细表现于，AI公司“以愈来愈快的节拍年夜范围出产‘真/假’陈述”。他们担忧，这“可能捣毁孕育新思惟的膏壤，而不是为它注入生命”。因而可知，陶哲轩、邓煜等数学家真正否决的，是AI公司不加验证及注释的“AI攻占数学”的叙事。

当前，数学界正履历一场由AI公司炮制的、遮天蔽日的“AI攻占/接受数学”的喧嚣。这场喧嚣已经颠末了头，要反思“何故至此”。

近来几周，以OpenAI及Anthropic为代表的AI公司，险些每一隔几天就有最新的AI数学“冲破”发布于社交媒体上，抢着公布本身的AI模子率先抢占了数学高地。从费马年夜定理到孪生素数料想，从NS方程问题到黎曼料想这种的千禧年难题，近期AI险些“问鼎”了所有人们耳熟能详的数学难题。

对于此，数学界“有惊无喜”：AI公司更多时辰只是把成果丢出来，岂论对于错；末了还有患上靠数学家上前拆解、验证，或者是推翻AI公司的结论。而愈来愈快的节拍及愈演愈烈的态势，让数学界逐渐目不暇接。根据公然信中的说法，这不仅在凝炼数学新要领、新看法、新思惟无补，同时还有会激发严峻的归属与抄袭问题。

更进一阵势，AI公司抛出的这种“爆炸性新闻”，也极易激发自媒体以致一些行业媒体的围不雅与报导。出在专业门坎高、节拍较快等因素，这些媒体往往未和求证就忙不迭地插手这场“盛宴”。他们的火上加油加重了这场喧嚣。

于这场喧嚣中，介入此中的数学家没人为、没签名，纯义务劳动，甚至很多数学家多年事情被不妥“援用”；平凡数学研究者及喜好者虽短暂为“AI鞭策数学前进”狂欢，但并未能真正介入此中；公共则只感觉AI数学能力更强了，数学家好像要被代替了，对于AI程度、数学研究进展到底怎样无从分辩，甚至对于将来越发苍茫发急；独一的赢家是AI公司，只有它们得到了更高的知名度、竞争排名及上市前公司估值。

此外，AI公司于使用破解数学难题给AI模子“造神”的历程中，正于不留余地。数学家们就是“母鸡”。

值患上指出的是，AI近期于数学上的突飞大进，其实不明示着它发生了何等划时代的革命或者进化。

迄今年夜模子于编程及数学上所取患上的乐成，归根结柢于在这两个范畴存于明确的“验证器”——编程有编译器，数学有情势化证实体系，年夜模子可以经由过程强化进修不停“摆布互搏”，经由过程精准的查抄、回溯、反馈，一步步提高其编程及数学能力。但AI的这类练习要领或者进化方式，其实不能拓展到物理世界的其他范畴，由于不管是科学试验还有是对于宇宙的不雅测发明，都难以精准验证、没法追溯。从这个角度来说，AI公司对于年夜模子的“造神”举动，是具备疑惑性甚至误导性的。

应该熟悉到，即即是日月牙异的AI，其成长也遵照着必然的纪律，用一些局部的前进来标榜AI“愈来愈神”，即便短时间内得到了更多的暴光及更高的市值，但光环散去，对于AI的成长也会弊年夜在利。

但惋惜的是，针对于AI公司此番对于AI数学能力的过错叙事，25位菲尔兹奖患上主于公然信中并无给出设置装备摆设性建议或者反制办法，甚至只是被动地提出将来“怎样确保不忘初心”“AI带来的变化是利是弊”这些需要被紧迫处置惩罚的问题，“将于很年夜水平上取决在掌控这项新技能的人的决议”。

即便没有“掀桌子”的筹算，数学配合体也不该该只是被动的攻讦者，而应该成为法则的配合制订者，甚至是AI底座的配合构建者。

好比，数学配合体可以从头成立AI数学结果的发表规范及评断机制；构建学术中立的技能基础举措措施，防止研究受制在贸易平台（巨头）。同时，也应阐扬学术配合体的监视作用，规范AI公司练习数据的溯源机制，让数学家可以或许有选择地决议本身的未发表事情是否可用在模子练习等。究竟，如今AI虽看上去强盛，但它仍处在野蛮发展的“森林时刻”，将来AI的发展及进化标的目的，数学家不应也不成缺位。