昨日行业报告宣布主要效果吴倩张雨剑疑似复婚生二胎 很兴奋为您解答这个问题，，让我来帮您详细说明一下。。品牌授权报修电话，，快速上门服务

芜湖市南陵县内蒙古锡林郭勒盟正镶白旗陕西省咸阳市兴平市喀什地区麦盖提县焦作市中站区山西省运都会夏县塔城地区和布克赛尔蒙古自治县向阳区小关街道甘肃省甘南藏族自治州黑龙江省哈尔滨市巴彦县辽宁省锦州市义县蓟州区东施古镇哈密市伊吾县鹿泉区白鹿泉乡福建省福州市罗源县辽宁省本溪市溪湖区桂林市秀峰区四川省宜宾市江安县辽宁省铁岭市开原市江西省九江市武宁县云南省红河哈尼族彝族自治州绿春县平顶山市湛河区云南省怒江傈僳族自治州福贡县山西省长治市襄垣县四川省甘孜藏族自治州九龙县隆安县广东省深圳市青海省玉树藏族自治州治多县山东省滨州市黑龙江省伊春市金林区阿克苏地区新和县平山县东回舍镇桂林市兴安县山东省聊都会茌平区山东省烟台市龙口市山西省吕梁市岚县隆安县四川省乐山市甘肃省兰州市平山县小觉镇山西省临汾市安泽县海淀区青龙桥街道贵州省黔东南苗族侗族自治州天柱县甘肃省定西市渭源县江苏省镇江市句容市博尔塔拉蒙古自治州温泉县西乡塘区广东省云浮市新兴县甘肃省陇南市平山县宅北乡伊犁哈萨克自治州昭苏县陕西省汉中市南郑区福建省南平市桥西区东华街道南阳市内乡县喀什地区叶城县山西省阳泉市平定县河西区桃园街道内蒙古兴安盟乌兰浩特市广东省佛山市三水区云南省玉溪市新平彝族傣族自治县昌平区回龙观街道向阳区小关街道四川省遂宁市蓬溪县焦作市广东省深圳市西藏山南市广东省广州市越秀区重庆市市辖区北碚区福建省漳州市龙海市陕西省宝鸡市千阳县江西省吉安市永新县辽宁省沈阳市沈河区江苏省南京市浦口区西藏拉萨市达孜区山西省长治市襄垣县青海省果洛藏族自治州山东省泰安市东平县四川省甘孜藏族自治州九龙县向阳区豆各庄地区南开区长虹街道广东省云浮市新兴县辽宁省铁岭市开原市四川省广安市岳池县陕西省汉中市西乡县内蒙古鄂尔多斯市鄂托克旗昌平区回龙观街道怀柔区雁栖地区北辰区合肥市瑶海区内蒙古锡林郭勒盟镶黄旗江西省鹰潭市余江区黑龙江省绥化市明水县乌鲁木齐市沙依巴克区广东省汕头市龙湖区四川省甘孜藏族自治州云南省文山壮族苗族自治州广南县固原市西吉县门头沟区大峪街道蚌埠市龙子湖区

本月研究机构转达行业新动向AI会不会把数学专业毁了？？？？？？，，很兴奋为您解答这个问题，，让我来帮您详细说明一下:官方服务专线，，支持多品牌报修

福建省莆田市城厢区赵县沙河店镇怀柔区龙山街道四川省乐山市密云区高岭镇广东省佛山市三水区蓟州区官庄镇内蒙古锡林郭勒盟正镶白旗焦作市沁阳市江苏省徐州市新沂市崇左市山西省吕梁市中阳县钦州市信阳市平桥区吉林省白山市浑江区上海市市辖区嘉定区顺义区空港街道福建省南平市怀柔区龙山街道山西省阳泉市平定县崇左市宁明县西藏山南市青秀区江西省吉安市永新县福建省厦门市海沧区甘肃省天水市秦州区福建省莆田市仙游县内蒙古锡林郭勒盟镶黄旗甘肃省陇南市武都区蓟州区东赵各庄镇福建省南平市吉林省四平市铁西区山东省德州市齐河县丰台区右安门街道向阳区豆各庄地区蓟州区东施古镇青海省海西蒙古族藏族自治州德令哈市内蒙古鄂尔多斯市鄂托克旗桥西区苑东街道井陉县吴家窑乡四川省宜宾市珙县四川省广元市吉林省白山市浑江区无极县大陈镇辽宁省沈阳市沈河区赞皇县西龙门乡江苏省南京市浦口区辽宁省大连市旅顺口区四川省凉山彝族自治州昭觉县山西省运都会夏县吉林省长春市双阳区山西省长治市襄垣县湖北省宜昌市夷陵区四川省宜宾市江安县四川省成都会金牛区广东省江门市山东省滨州市湖北省宜昌市宜都会甘肃省陇南市桥西区苑东街道西城区天桥街道山西省阳泉市平定县桥西区苑东街道马鞍山市博望区静海区大邱庄镇山东省聊都会茌平区焦作市沁阳市百色市靖西市云南省西双版纳傣族自治州勐腊县云南省红河哈尼族彝族自治州泸西县无极县大陈镇江西省吉安市吉安县山东省德州市齐河县桂林市兴安县隆安县山西省忻州市定襄县海淀区青龙桥街道长安区南村镇广东省珠海市斗门区广东省汕头市龙湖区陕西省商洛市山阳县北海市海城区固原市西吉县江西省鹰潭市余江区青海省海西蒙古族藏族自治州德令哈市北海市海城区赞皇县院头镇江苏省徐州市新沂市合肥市庐阳区云南省丽江市宁蒗彝族自治县淮南市大通区重庆市县巫山县陕西省咸阳市兴平市福建省厦门市海沧区元氏县苏村乡山西省晋中市灵石县内蒙古鄂尔多斯市康巴什区蚌埠市龙子湖区贵州省黔南布依族苗族自治州惠水县江苏省徐州市丰县

全球服务区域:黑龙江省佳木斯市富锦市丰台区长辛店镇青海省海西蒙古族藏族自治州德令哈市昌平区阳坊镇延庆区康庄镇黑龙江省伊春市金林区福建省漳州市龙海市巴音郭楞蒙古自治州和硕县濮阳市南乐县四川省甘孜藏族自治州丹巴县延庆区康庄镇云南省普洱市景东彝族自治县江苏省徐州市新沂市合肥市庐阳区向阳区小红门地区陕西省宝鸡市千阳县密云区古北口镇西藏拉萨市达孜区辽宁省沈阳市沈河区昌平区延寿镇赞皇县院头镇辽宁省本溪市溪湖区伊犁哈萨克自治州昭苏县元氏县苏村乡内蒙古锡林郭勒盟镶黄旗内蒙古鄂尔多斯市康巴什区西藏拉萨市达孜区山西省忻州市宁武县辽宁省沈阳市沈河区武清区汊沽港镇蓟州区东施古镇云南省红河哈尼族彝族自治州绿春县芜湖市南陵县百色市田林县福建省莆田市仙游县江苏省南通市启东市四川省凉山彝族自治州甘洛县西藏山南市贡嘎县内蒙古乌海市乌达区江西省萍乡市上栗县西乡塘区湖北省宜昌市秭归县重庆市县巫山县行唐县龙州镇福建省漳州市龙海市武清区汊沽港镇甘肃省白银市景泰县元氏县苏村乡洛阳市汝阳县无极县大陈镇新乐市协神乡黑龙江省佳木斯市汤原县赞皇县西龙门乡内蒙古乌海市乌达区辽宁省沈阳市长安区南村镇塔城地区和布克赛尔蒙古自治县怀柔区龙山街道江苏省徐州市丰县阿克苏地区新和县湖北省宜昌市西陵区陕西省汉中市西乡县平山县小觉镇海南省儋州市广东省汕头市龙湖区行唐县龙州镇山东省淄博市临淄区赞皇县院头镇平山县小觉镇内蒙古乌海市乌达区百色市田林县阿克苏地区新和县喀什地区叶城县怀柔区宝山镇洛阳市汝阳县北辰区山东省威海市哈密市伊吾县阿克苏地区拜城县重庆市县巫山县贵州省六盘水市水城县鹿泉区寺家庄镇静海区大邱庄镇崇左市宁明县赞皇县院头镇鹿泉区寺家庄镇北海市海城区云南省玉溪市新平彝族傣族自治县贵州省黔南布依族苗族自治州惠水县江苏省徐州市丰县武清区上马台镇湖北省孝感市汉川市黑龙江省鸡西市鸡冠区山东省聊都会冠县内蒙古鄂尔多斯市康巴什区江苏省徐州市云南省文山壮族苗族自治州广南县濮阳市南乐县淮南市大通区向阳区小关街道

今日官方转达行业研究效果AI会不会把数学专业毁了？？？？？？，，很兴奋为您解答这个问题，，让我来帮您详细说明一下:售后服务维修中心电话，，支持多渠道服务

天下服务区域：内蒙古乌海市乌达区广东省佛山市三水区四川省甘孜藏族自治州九龙县上海市市辖区嘉定区贵州省黔东南苗族侗族自治州天柱县西藏山南市云南省丽江市宁蒗彝族自治县丰台区长辛店镇百色市田林县昌平区阳坊镇焦作市云南省普洱市景东彝族自治县山西省阳泉市平定县清静区南市街道辽宁省本溪市溪湖区怀柔区龙山街道甘肃省庆阳市镇原县宝坻区牛家牌镇吉林省四平市铁西区鹿泉区寺家庄镇南开区长虹街道蓟州区东赵各庄镇甘肃省兰州市吉林省四平市铁西区山西省朔州市山阴县蚌埠市龙子湖区江西省萍乡市上栗县山东省德州市齐河县南开区体育中心街道山西省吕梁市岚县北海市海城区赞皇县院头镇四川省成都会双流区福建省漳州市龙海市海南省三沙市西沙区平山县小觉镇喀什地区叶城县陕西省宝鸡市眉县桥西区苑东街道向阳区小关街道山西省长治市襄垣县福建省莆田市城厢区重庆市市辖区北碚区合肥市瑶海区山东省德州市齐河县福建省南平市建瓯市山西省晋都会泽州县平顶山市卫东区喀什地区叶城县黑龙江省七台河市桃山区山西省运都会夏县重庆市县巫山县上海市市辖区嘉定区四川省遂宁市蓬溪县四川省甘孜藏族自治州泸定县平顶山市湛河区防城港市东兴市银川市贺兰县内蒙古锡林郭勒盟正镶白旗巴音郭楞蒙古自治州和硕县平顶山市卫东区江西省萍乡市上栗县四川省甘孜藏族自治州九龙县内蒙古鄂尔多斯市鄂托克旗山西省运都会夏县贵州省安顺市普定县江西省九江市武宁县福建省三明市梅列区山东省泰安市东平县湖北省孝感市汉川市山东省聊都会茌平区马鞍山市博望区云南省普洱市景东彝族自治县丰台区右安门街道向阳区管庄地区江苏省徐州市丰县云南省怒江傈僳族自治州福贡县江苏省镇江市句容市向阳区双井街道广东省佛山市三水区平山县小觉镇西青区精武镇湖北省宜昌市秭归县桥西区留营街道云南省丽江市宁蒗彝族自治县广东省江门市辽宁省本溪市溪湖区鹿泉区白鹿泉乡四川省甘孜藏族自治州九龙县辽宁省向阳市北票市山西省晋都会高平市西乡塘区赞皇县院头镇喀什地区叶城县山东省烟台市牟平区阿克苏地区拜城县静海区西翟庄镇辽宁省辽阳市白塔区贵州省铜仁市印江土家族苗族自治县广东省云浮市新兴县

售后服务上门服务电话，，智能分配票据：AI会不会把数学专业毁了？？？？？？

【文/视察者网 心智视察所】

一台机械，，人类的造物，，无需人类的资助，，即可自主解决令几代人一筹莫展的数学问题。。数学家还在争论AI的思索算不算真正的思索，，AI却悄然改写了数学的界线。。数学，，人类智力之巅的这颗明珠，，真的会被AI轻松笑纳吗?

80年悬案终告破

1946年，，匈牙利数学巨匠保罗·埃尔德什提出了一个看似简朴却困扰了数学家近一个世纪的问题：

在一张无限大的纸上画出n个点，，随意排列它们，，找出相互恰恰相距1个单位的一对对点，，这样的点最多能有几多对？？？？？？

该问题被称为平面单位距离问题，，是离散几何中的经典问题之一。。埃尔德什自己推测，，随着点数n的增添，，相相互距为1的点对数目的最大值只会比n增添得稍微快一点点,记作

怎样验证这个意料？？？？？？从第一感受出发，，你约莫会把点摆成方格棋盘，，每个点与左右四邻之间的距离恰恰是1个单位。。80年来，，数学家们一直在二维几何上打转，，排列出种种形状的点阵，，试图加以证实。。

然而，，就在2026年5月，，OpenAI的一个内部通用推理模子在没有专门数学训练的情形下，，不靠提醒，，不靠协助，，自主推翻了这个跨时代的意料。。

AI发明，，简直保存着这种点数为n的点阵，，关于这个点阵来说，，保存某个大于0的数，，使得其中相相互距1个单位的点对数目大于即是

，，严酷逾越了埃尔德什的意料上限。。

菲尔兹奖得主蒂莫西·高尔斯在评审后写道：“若是有个人把这篇论文投给《数学年刊》，，我会绝不犹豫地推荐揭晓。。”他增补道，，此前没有任何AI天生的证实能抵达云云重大的水平。。

而这项效果的降生方式越发令人震惊：人类只是将问题原原本外地告诉了AI，，没有提供任何提醒或参考文献。。AI自己一步步推理，，实验了数论、代数几何、组合学等多个分支的工具，，最终走出了人类从未设想的路径。。

AI怎么做到的？？？？？？翻转思绪，，突破直觉

AI并没有依附蛮力大海捞针，，而是跳出三界外，，不在五行中。。

它突然做出一个违反祖宗的决议：不要再研究“怎么排列这些点”，，掉头去研究“什么数字自然就会天生1个单位的距离”。。

首先，，AI 把平面点改写成复数。。于是，，相距为 1的点也就等价于它们之间的差在复平面里的长度为1，，落在了复平面的单位圆上。。到这一步，，人类通常；峒绦芯考负挝侍猓涸苍趺聪嘟，，点怎么排列，，AI 却最先研究代数数、数域、单位群、类域塔这些看似与问题八竿子打不着的工具。。它问道“哪些特殊的代数数自然就会落在单位圆上？？？？？？”随后便发明，，在某种特殊的数字系统中，，简直保存着大宗特殊的代数整数，，它们相互之间具有极其规整的关系，，并且在复平面里的长度恰恰为 1 。。在此之后，，AI挪用了很是深奥的数学工具：类域塔，，增添了数字系统的“广度”（数域次数），，从而增殖出大宗长度为1的数字，，最后以之为单位向量结构点阵，，发明其中的点对数目显着凌驾

。。就这样，，AI推翻了埃尔德什意料。。为什么人做不到的事，，AI做到了？？？？？？

由于 AI 敢于直面维度极高、超等重大的代数结构和基础无法直观想象的工具，，而人类一直信仰精练即真的几何结构，，对重大系统避之唯恐缺乏。。AI则发明，，重大性自己反而能绕开二维几何给人设下的路障，，这一点很是违反人的直觉。。别的，，最令人震惊的不是AI学会解决问题，，而是AI学会转换问题了。。人类原以为这是一个平面几何问题，，AI 却说这个问题属于代数数论，，偏偏还让它赌对了。。AI独辟蹊径，，走出奇招，，将看似风马牛不相及的理论连结起来，，最后出奇制胜。。

多伦多大学数学家丹尼尔·利特评价说：“这是第一个由AI自主爆发的、我自己以为有趣的研究效果。。”加拿大数学家、菲尔兹奖得主詹姆斯·梅纳德也在社交媒体上体现，，这个效果令人震惊。。

永不止步！AI正在系统性地攻城略地

一个孤例尚且可以归为运气。。不过事实并非云云。。

OpenAI前脚刚刚宣布效果，，后脚就有Google DeepMind推出AlphaProof Nexus，，一个将大语言模子与Lean形式化证实辅助工具相连系的系统。。

这个系统现在的主要战绩是：自主攻克了53个开放埃尔德什问题中的9个；；证实晰在线整数序列百科（OEIS）中492个开放意料中的44个。。每个问题的盘算本钱只有几百美元。。而这些问题几十年来令人类数学家一筹莫展。。

更要害的是，，有了AlphaProof Nexus，，AI就从“写出数学证实”的学生乐成进阶到“自动搜索并验证数学证实”的工程师。。

这个系统先让AI猜一个证实偏向，，然后用Lean工具逐行举行逻辑验证。。你可以把 Lean 明确成数学证实的编译器。。通俗数学论文里，，人类经常；嵝础跋匀弧薄耙字ぁ薄坝纱丝芍，，但 Lean 不接受这些，，它要求每一步都必需严酷正当，，少一个逻辑方法都不可。。因此，，只要 Lean 通过，，证实基本上就是真实可靠的。。此前人们以为，，AI会泛起跳步、瞎编等一系列“幻觉”问题，，现在AI在不可作弊的情形里事情，，这些问题也就迎刃而解了。。倘若Lean欠亨过，，系统就自动驳回，，AI凭证过失自行修正，，继续搜索新的解法，，然后一直举行这个循环。。由此，，AI摇身一变，，俨然成了一个永不止步的实验数学家。。

Google DeepMind超人推理团队认真人Luong Thang展望“约莫到了2030年，，AI和人类数学家可能会配合获得菲尔兹奖。。”

值得注重的是，，在Google Deepmind宣布的这篇文章里，，配合署名作者中心藏着一个熟悉的名字：黄世杰。。作为"AlphaGo之父"之一，，黄博士的研究效果成为AlphaGo击败人类围棋冠军的手艺基石。。在与韩国传奇棋手李世石的世纪棋战中，，黄博士坐在棋盘前，，替AlphaGo执行每一步落子，，他的那张“铁面”给全天下留下了深刻印象。。2017年，，黄博士化身为网络围棋能手"Master"，，为AlphaGo执棋落子，，横扫顶级围棋能手。。

数学生怕真的迎来了她的Alphago时刻。。

AI是否真能“明确”数学？？？？？？

我们报道过，，前不久，，英国非专业数学喜欢者普莱斯和剑桥学生巴雷托相助，，用GPT-5.4 Pro在自家客厅里解决了另一个60年未解的埃尔德什难题。。

普莱斯的方案令专家们大吃一惊，，由于AI没有接纳已往研究者习用的概率论要领，，而是直接使用问题的原始语言，，在数字和概率之间建设起一种隐式联系。。

菲尔兹奖得主、加州大学洛杉矶分校教授陶哲轩评价道，，正是由于这种联系“过于自然”，，反而导致人们几十年来对其视而不见。。

此事引发了更深条理的疑问。。AI是真的“明确”了数学，，照旧仅仅在它的知识网络中找到了人类忽略的路径？？？？？？

有人忠言道，，任由机械去生长人类自身无法明确的头脑，，可能毫无意义，，甚至具有危险。？？？？？？诨仿〈笱Ы淌诮芾锩住ぐ⑽拥虑康鞯，，“数学的最终目的在于明确数学征象......我们不要一个只会吐出效果、说‘定理建设’的AI。。人类必需加入这个历程。。”

隐忧：当机械祛除了数学

在台甫鼎鼎的北大数学黄金一代中，，有两位顶尖数学家向采访者表达了深切的忧虑。。

恽之玮对数学界的远景感应忧心忡忡。。去年炎天，，恽之玮的相助者将论文中的一个问题丢给Gemini，，效果令他大受震撼。。AI不但在没有提醒的情形下天生了完整证实，，还能准确找出函数系数的一般公式，，且公式用到的数学看法凌驾了问题自己的数学水平。。他以为AI的能力远远凌驾他的预期，，并且纷歧定需要人类向它提出问题、为它指导偏向。。他看不见AI能力的上界在哪儿，，故而对未来感应焦虑：由于，，若是一个数学事情者将盘算方法和简朴证实一切塞给AI处理，，则很难爆发洞察力，，无法做出大的发明，，由于大发明往往是从小例子最先的。。他以为，，倘若AI在数学领域一连生长下去，，终将祛除数学行业。。

许晨阳也持气馁态度。。他说，，第一，，他个人以为学习数学、研究数学的最大意义，，在于同数学中的伟大心灵对话，，明确并体会他们的深刻头脑，，自己创立数学效果，，则是在加入这场对话，，现在，，伟大的交流工具从人酿成了人工智能，，对人来讲真是好事吗？？？？？？第二，，有些逾越时代的数学问题，，好比费马大定理，，必需靠几代人生长新工具才华解决，，但现在有了AI，，只要集中人类的所有资源，，很可能用不了多久即可解决跨时代的问题。。然而，，给AI投入这么多资源，，最后靠机械解决某个意料，，这件事自己有何意义，，真的是人类所需要的吗？？？？？？在不远的未来，，AI很可能将与数学家协作破解重大问题，，届时，，这样的新闻会让数学领域之外的年轻一代以为数学不过是可有可无的工具。。；蛐砦蠢吹娜死嗖辉傩枰Ъ，，只需将数学一律交给机械处理就好，，但他以为，，若是人类失去了同伟大数学心灵举行交流的能力，，恐为一大憾事。。

手艺难关依然保存

除了哲学层面的忧虑，，AI数学还面临实着实在的手艺难题。。

首先是长度限制。。目今AI模子最多只能天生三四页长的证实。。Google内部模子虽然已经可以抵达十页左右，，但100页量级的证实仍然遥不可及。。而许多重大数学效果的证实动辄上百页。。

其次是过失率。。AI天生的证实经常隐藏逻辑误差。。哈佛大学教授劳伦·威廉姆斯忠言道“AI给出的证实看起来很合理，，但需要花大宗时间找出其中的过失。。”数学期刊的编辑们已经在为大宗低质量AI论文的涌入而头疼。。

三是Lean的笼罩规模有限。？？？？？？葱问交镅訪ean可以将人类用自然语言写的证实转换成盘算机可验证的代码，，但现在能用Lean编写的数学内容仍然很有限。。在2026年2月试运行的“First Proof”AI数学能力评估中，，提交的解决方案大多需要数学家直接举行人工检查，，只有一份获得了Lean的验证。。

这意味着AI的产呈现在仍然高度依赖人类专家的审核，，而审核自己同样泯灭智力，，且随着AI天生速率的加速，，这一历程可能变得不可一连。。

不可预知的远景

研究者大多以为，，人类数学家仍将坚持自动权。。OpenAI研究员马克·塞尔克说“研究什么问题是一种判断，，这个决议现在仍将由人类做出。。”

多伦多大学教授丹尼尔·利特对AI效果的态度较为审慎，，但不否认它的潜力。。他说，，“AI系统已经以超人的水平掌握了现有数学知识，，展示了强盛的推理能力，，并且不会感应疲劳或失去动力。。真正让人疑心的，，反而是AI为何至今还没有做出重大发明。。”他增补道，，他不清晰人类数学家是否真的拥有某种只有人类才具备的“独创性神秘因素”，，是什么让人类数学家云云卓尔差别？？？？？？

布朗大学教授哈维尔·戈麦斯-塞拉诺的谈论最为坦诚：“我已经不敢想象五年后的天下会是什么样子。。事物转变云云之快，，一切皆有可能。。”

毫无疑问，，2026年将作为数学界的AI元年，，被镌刻在史书里。。

从解答一两个埃尔德什问题，，到系统性攻克开放意料，，AI在短短几个月里已经证实晰自己在数学领域的惊人潜力与优势。。它不知疲倦，，不带私见，，知识渊博，，只消几百美元的本钱即可自行解决人类数十年来未能突破的难题。。

人类智力的至高明珠：数学，，似乎要被人类自己的造物笑纳了。。这算人类的胜利，，照旧智慧的黄昏？？？？？？我们真的不再需要自己思索数学问题了吗？？？？？？数学专业将何去何从？？？？？？由此也可引发更一般的问题：若是机械可以取代人类举行重大幽微的思索，，人类的脑子尚有什么用？？？？？？

但我们也必需看到，，数学绝不但是一门解答的武艺。。数学关乎提问，，关乎明确，，关乎真理与美，，关乎倾覆性的头脑和伟大的心灵。。是什么让我们有别于机械，，是什么让我们不会为机械所取代？？？？？？无论是数学家，，照旧我们每一个人，，都只能依赖自己的智慧往返覆这样的问题。。

参考文献

https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf

arxiv：2605.22763v1

https://www.theguardian.com/technology/2026/may/21/openai-paul-erdos-maths-problem-breakthrough

https://www.dongascience.com/en/news/78030

https://www.nature.com/articles/d41586-026-01553-1

长篇专访数学家恽之玮: 数学研究、年轻人的压力与AI时代/长篇专访数学家许晨阳：高维代数几何，，数学品味与AI时代的数学采访者:b站up主钰子一

本文系视察者网独家稿件，，文章内容纯属作者个人看法，，不代表平台看法，，未经授权，，不得转载，，否则将追究执法责任。。关注视察者网微信guanchacn，，逐日阅读趣味文章。。

今日行业协会披露行业新效果AI会不会把数学专业毁了？？？？？？

【文/视察者网 心智视察所】

一台机械，，人类的造物，，无需人类的资助，，即可自主解决令几代人一筹莫展的数学问题。。数学家还在争论AI的思索算不算真正的思索，，AI却悄然改写了数学的界线。。数学，，人类智力之巅的这颗明珠，，真的会被AI轻松笑纳吗?

80年悬案终告破

1946年，，匈牙利数学巨匠保罗·埃尔德什提出了一个看似简朴却困扰了数学家近一个世纪的问题：

在一张无限大的纸上画出n个点，，随意排列它们，，找出相互恰恰相距1个单位的一对对点，，这样的点最多能有几多对？？？？？？

该问题被称为平面单位距离问题，，是离散几何中的经典问题之一。。埃尔德什自己推测，，随着点数n的增添，，相相互距为1的点对数目的最大值只会比n增添得稍微快一点点,记作

怎样验证这个意料？？？？？？从第一感受出发，，你约莫会把点摆成方格棋盘，，每个点与左右四邻之间的距离恰恰是1个单位。。80年来，，数学家们一直在二维几何上打转，，排列出种种形状的点阵，，试图加以证实。。

然而，，就在2026年5月，，OpenAI的一个内部通用推理模子在没有专门数学训练的情形下，，不靠提醒，，不靠协助，，自主推翻了这个跨时代的意料。。

AI发明，，简直保存着这种点数为n的点阵，，关于这个点阵来说，，保存某个大于0的数，，使得其中相相互距1个单位的点对数目大于即是

，，严酷逾越了埃尔德什的意料上限。。

菲尔兹奖得主蒂莫西·高尔斯在评审后写道：“若是有个人把这篇论文投给《数学年刊》，，我会绝不犹豫地推荐揭晓。。”他增补道，，此前没有任何AI天生的证实能抵达云云重大的水平。。

而这项效果的降生方式越发令人震惊：人类只是将问题原原本外地告诉了AI，，没有提供任何提醒或参考文献。。AI自己一步步推理，，实验了数论、代数几何、组合学等多个分支的工具，，最终走出了人类从未设想的路径。。

AI怎么做到的？？？？？？翻转思绪，，突破直觉

AI并没有依附蛮力大海捞针，，而是跳出三界外，，不在五行中。。

它突然做出一个违反祖宗的决议：不要再研究“怎么排列这些点”，，掉头去研究“什么数字自然就会天生1个单位的距离”。。

首先，，AI 把平面点改写成复数。。于是，，相距为 1的点也就等价于它们之间的差在复平面里的长度为1，，落在了复平面的单位圆上。。到这一步，，人类通常；峒绦芯考负挝侍猓涸苍趺聪嘟，，点怎么排列，，AI 却最先研究代数数、数域、单位群、类域塔这些看似与问题八竿子打不着的工具。。它问道“哪些特殊的代数数自然就会落在单位圆上？？？？？？”随后便发明，，在某种特殊的数字系统中，，简直保存着大宗特殊的代数整数，，它们相互之间具有极其规整的关系，，并且在复平面里的长度恰恰为 1 。。在此之后，，AI挪用了很是深奥的数学工具：类域塔，，增添了数字系统的“广度”（数域次数），，从而增殖出大宗长度为1的数字，，最后以之为单位向量结构点阵，，发明其中的点对数目显着凌驾

。。就这样，，AI推翻了埃尔德什意料。。为什么人做不到的事，，AI做到了？？？？？？

由于 AI 敢于直面维度极高、超等重大的代数结构和基础无法直观想象的工具，，而人类一直信仰精练即真的几何结构，，对重大系统避之唯恐缺乏。。AI则发明，，重大性自己反而能绕开二维几何给人设下的路障，，这一点很是违反人的直觉。。别的，，最令人震惊的不是AI学会解决问题，，而是AI学会转换问题了。。人类原以为这是一个平面几何问题，，AI 却说这个问题属于代数数论，，偏偏还让它赌对了。。AI独辟蹊径，，走出奇招，，将看似风马牛不相及的理论连结起来，，最后出奇制胜。。

多伦多大学数学家丹尼尔·利特评价说：“这是第一个由AI自主爆发的、我自己以为有趣的研究效果。。”加拿大数学家、菲尔兹奖得主詹姆斯·梅纳德也在社交媒体上体现，，这个效果令人震惊。。

永不止步！AI正在系统性地攻城略地

一个孤例尚且可以归为运气。。不过事实并非云云。。

OpenAI前脚刚刚宣布效果，，后脚就有Google DeepMind推出AlphaProof Nexus，，一个将大语言模子与Lean形式化证实辅助工具相连系的系统。。

这个系统现在的主要战绩是：自主攻克了53个开放埃尔德什问题中的9个；；证实晰在线整数序列百科（OEIS）中492个开放意料中的44个。。每个问题的盘算本钱只有几百美元。。而这些问题几十年来令人类数学家一筹莫展。。

更要害的是，，有了AlphaProof Nexus，，AI就从“写出数学证实”的学生乐成进阶到“自动搜索并验证数学证实”的工程师。。

这个系统先让AI猜一个证实偏向，，然后用Lean工具逐行举行逻辑验证。。你可以把 Lean 明确成数学证实的编译器。。通俗数学论文里，，人类经常；嵝础跋匀弧薄耙字ぁ薄坝纱丝芍，，但 Lean 不接受这些，，它要求每一步都必需严酷正当，，少一个逻辑方法都不可。。因此，，只要 Lean 通过，，证实基本上就是真实可靠的。。此前人们以为，，AI会泛起跳步、瞎编等一系列“幻觉”问题，，现在AI在不可作弊的情形里事情，，这些问题也就迎刃而解了。。倘若Lean欠亨过，，系统就自动驳回，，AI凭证过失自行修正，，继续搜索新的解法，，然后一直举行这个循环。。由此，，AI摇身一变，，俨然成了一个永不止步的实验数学家。。

Google DeepMind超人推理团队认真人Luong Thang展望“约莫到了2030年，，AI和人类数学家可能会配合获得菲尔兹奖。。”

值得注重的是，，在Google Deepmind宣布的这篇文章里，，配合署名作者中心藏着一个熟悉的名字：黄世杰。。作为"AlphaGo之父"之一，，黄博士的研究效果成为AlphaGo击败人类围棋冠军的手艺基石。。在与韩国传奇棋手李世石的世纪棋战中，，黄博士坐在棋盘前，，替AlphaGo执行每一步落子，，他的那张“铁面”给全天下留下了深刻印象。。2017年，，黄博士化身为网络围棋能手"Master"，，为AlphaGo执棋落子，，横扫顶级围棋能手。。

数学生怕真的迎来了她的Alphago时刻。。

AI是否真能“明确”数学？？？？？？

我们报道过，，前不久，，英国非专业数学喜欢者普莱斯和剑桥学生巴雷托相助，，用GPT-5.4 Pro在自家客厅里解决了另一个60年未解的埃尔德什难题。。

普莱斯的方案令专家们大吃一惊，，由于AI没有接纳已往研究者习用的概率论要领，，而是直接使用问题的原始语言，，在数字和概率之间建设起一种隐式联系。。

菲尔兹奖得主、加州大学洛杉矶分校教授陶哲轩评价道，，正是由于这种联系“过于自然”，，反而导致人们几十年来对其视而不见。。

此事引发了更深条理的疑问。。AI是真的“明确”了数学，，照旧仅仅在它的知识网络中找到了人类忽略的路径？？？？？？

有人忠言道，，任由机械去生长人类自身无法明确的头脑，，可能毫无意义，，甚至具有危险。？？？？？？诨仿〈笱Ы淌诮芾锩住ぐ⑽拥虑康鞯，，“数学的最终目的在于明确数学征象......我们不要一个只会吐出效果、说‘定理建设’的AI。。人类必需加入这个历程。。”

隐忧：当机械祛除了数学

在台甫鼎鼎的北大数学黄金一代中，，有两位顶尖数学家向采访者表达了深切的忧虑。。

恽之玮对数学界的远景感应忧心忡忡。。去年炎天，，恽之玮的相助者将论文中的一个问题丢给Gemini，，效果令他大受震撼。。AI不但在没有提醒的情形下天生了完整证实，，还能准确找出函数系数的一般公式，，且公式用到的数学看法凌驾了问题自己的数学水平。。他以为AI的能力远远凌驾他的预期，，并且纷歧定需要人类向它提出问题、为它指导偏向。。他看不见AI能力的上界在哪儿，，故而对未来感应焦虑：由于，，若是一个数学事情者将盘算方法和简朴证实一切塞给AI处理，，则很难爆发洞察力，，无法做出大的发明，，由于大发明往往是从小例子最先的。。他以为，，倘若AI在数学领域一连生长下去，，终将祛除数学行业。。

许晨阳也持气馁态度。。他说，，第一，，他个人以为学习数学、研究数学的最大意义，，在于同数学中的伟大心灵对话，，明确并体会他们的深刻头脑，，自己创立数学效果，，则是在加入这场对话，，现在，，伟大的交流工具从人酿成了人工智能，，对人来讲真是好事吗？？？？？？第二，，有些逾越时代的数学问题，，好比费马大定理，，必需靠几代人生长新工具才华解决，，但现在有了AI，，只要集中人类的所有资源，，很可能用不了多久即可解决跨时代的问题。。然而，，给AI投入这么多资源，，最后靠机械解决某个意料，，这件事自己有何意义，，真的是人类所需要的吗？？？？？？在不远的未来，，AI很可能将与数学家协作破解重大问题，，届时，，这样的新闻会让数学领域之外的年轻一代以为数学不过是可有可无的工具。。；蛐砦蠢吹娜死嗖辉傩枰Ъ，，只需将数学一律交给机械处理就好，，但他以为，，若是人类失去了同伟大数学心灵举行交流的能力，，恐为一大憾事。。

手艺难关依然保存

除了哲学层面的忧虑，，AI数学还面临实着实在的手艺难题。。

首先是长度限制。。目今AI模子最多只能天生三四页长的证实。。Google内部模子虽然已经可以抵达十页左右，，但100页量级的证实仍然遥不可及。。而许多重大数学效果的证实动辄上百页。。

其次是过失率。。AI天生的证实经常隐藏逻辑误差。。哈佛大学教授劳伦·威廉姆斯忠言道“AI给出的证实看起来很合理，，但需要花大宗时间找出其中的过失。。”数学期刊的编辑们已经在为大宗低质量AI论文的涌入而头疼。。

三是Lean的笼罩规模有限。？？？？？？葱问交镅訪ean可以将人类用自然语言写的证实转换成盘算机可验证的代码，，但现在能用Lean编写的数学内容仍然很有限。。在2026年2月试运行的“First Proof”AI数学能力评估中，，提交的解决方案大多需要数学家直接举行人工检查，，只有一份获得了Lean的验证。。

这意味着AI的产呈现在仍然高度依赖人类专家的审核，，而审核自己同样泯灭智力，，且随着AI天生速率的加速，，这一历程可能变得不可一连。。

不可预知的远景

研究者大多以为，，人类数学家仍将坚持自动权。。OpenAI研究员马克·塞尔克说“研究什么问题是一种判断，，这个决议现在仍将由人类做出。。”

多伦多大学教授丹尼尔·利特对AI效果的态度较为审慎，，但不否认它的潜力。。他说，，“AI系统已经以超人的水平掌握了现有数学知识，，展示了强盛的推理能力，，并且不会感应疲劳或失去动力。。真正让人疑心的，，反而是AI为何至今还没有做出重大发明。。”他增补道，，他不清晰人类数学家是否真的拥有某种只有人类才具备的“独创性神秘因素”，，是什么让人类数学家云云卓尔差别？？？？？？

布朗大学教授哈维尔·戈麦斯-塞拉诺的谈论最为坦诚：“我已经不敢想象五年后的天下会是什么样子。。事物转变云云之快，，一切皆有可能。。”

毫无疑问，，2026年将作为数学界的AI元年，，被镌刻在史书里。。

从解答一两个埃尔德什问题，，到系统性攻克开放意料，，AI在短短几个月里已经证实晰自己在数学领域的惊人潜力与优势。。它不知疲倦，，不带私见，，知识渊博，，只消几百美元的本钱即可自行解决人类数十年来未能突破的难题。。

人类智力的至高明珠：数学，，似乎要被人类自己的造物笑纳了。。这算人类的胜利，，照旧智慧的黄昏？？？？？？我们真的不再需要自己思索数学问题了吗？？？？？？数学专业将何去何从？？？？？？由此也可引发更一般的问题：若是机械可以取代人类举行重大幽微的思索，，人类的脑子尚有什么用？？？？？？

但我们也必需看到，，数学绝不但是一门解答的武艺。。数学关乎提问，，关乎明确，，关乎真理与美，，关乎倾覆性的头脑和伟大的心灵。。是什么让我们有别于机械，，是什么让我们不会为机械所取代？？？？？？无论是数学家，，照旧我们每一个人，，都只能依赖自己的智慧往返覆这样的问题。。

参考文献

https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf

arxiv：2605.22763v1

https://www.theguardian.com/technology/2026/may/21/openai-paul-erdos-maths-problem-breakthrough

https://www.dongascience.com/en/news/78030

https://www.nature.com/articles/d41586-026-01553-1

长篇专访数学家恽之玮: 数学研究、年轻人的压力与AI时代/长篇专访数学家许晨阳：高维代数几何，，数学品味与AI时代的数学采访者:b站up主钰子一

本文系视察者网独家稿件，，文章内容纯属作者个人看法，，不代表平台看法，，未经授权，，不得转载，，否则将追究执法责任。。关注视察者网微信guanchacn，，逐日阅读趣味文章。。

我只知道一件事，，那就是我什么都不知道。。

凯时AG

吴倩张雨剑疑似复婚生二胎