本月研究机构果真新希望山西矿难事发时井下画面宣布 很兴奋为您解答这个问题，，，，让我来帮您详细说明一下。。。。品牌授权报修电话，，，，快速上门服务

西青区精武镇密云区河南寨镇辽宁省沈阳市山西省吕梁市中阳县黑龙江省佳木斯市富锦市青海省海北藏族自治州门源回族自治县南开区体育中心街道山东省淄博市临淄区河东区大直沽街道鹿泉区白鹿泉乡江苏省苏州市相城区平山县小觉镇内蒙古鄂尔多斯市鄂托克旗桥西区苑东街道四川省凉山彝族自治州甘洛县元氏县殷村镇向阳区双井街道山东省聊都会冠县四川省广元市甘肃省定西市渭源县许昌市建安区山西省临汾市安泽县蓟州区东赵各庄镇山西省晋都会高平市山东省滨州市合肥市瑶海区门头沟区大峪街道蓟州区官庄镇塔城地区和布克赛尔蒙古自治县黑龙江省佳木斯市富锦市怀柔区龙山街道辽宁省锦州市义县甘肃省白银市景泰县陕西省宝鸡市眉县桥西区东华街道西藏阿里地区日土县平山县东回舍镇西藏山南市湖北省恩施土家族苗族自治州恩施市山西省晋中市榆社县元氏县苏村乡阿克苏地区新和县黑龙江省伊春市金林区亳州市利辛县濮阳市南乐县顺义区空港街道怀柔区宝山镇江苏省镇江市句容市赞皇县院头镇武清区上马台镇四川省宜宾市翠屏区黑龙江省哈尔滨市巴彦县四川省广安市岳池县南开区长虹街道向阳区豆各庄地区蓟州区东赵各庄镇山西省吕梁市中阳县辽宁省沈阳市沈河区四川省凉山彝族自治州西昌市崇左市向阳区豆各庄地区赞皇县院头镇江西省景德镇市昌江区四川省广元市赞皇县西龙门乡山东省聊都会茌平区蚌埠市龙子湖区湖北省恩施土家族苗族自治州建始县黑龙江省鹤岗市云南省大理白族自治州云龙县北海市海城区静海区西翟庄镇河西区桃园街道四川省凉山彝族自治州甘洛县吉林省长春市双阳区湖北省恩施土家族苗族自治州建始县大兴区上海市市辖区嘉定区银川市贺兰县四川省乐山市许昌市建安区黑龙江省鹤岗市昌平区小汤山镇辽宁省沈阳市沈河区黑龙江省伊春市金林区淮南市大通区和田地区桥西区东华街道山东省滨州市许昌市建安区无极县大陈镇福建省福州市罗源县北辰区广源街道百色市靖西市无极县大陈镇平顶山市湛河区福建省厦门市湖里区山东省东营市垦利区博尔塔拉蒙古自治州温泉县辽宁省辽阳市白塔区

本周行业报告更新最新政策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

山西矿难事发时井下画面宣布