任丘市奥力斯涂料厂

锡林郭勒盟橡塑胶 困扰人类80年的数学难题,被AI破解了!奥特曼:感受很复杂

发布日期:2026-05-23 05:54:12 点击次数:155

泡沫板专用胶价格

个AI锡林郭勒盟橡塑胶,做到了人类数学近80年没做到的事。

5月21日,OpenAI官宣布:其内部个通用理模型,自主翻了“平面单位距离猜想”(Erdős Unit Distance Problem)——这道由匈牙利数学保罗·Erdős(厄多斯)于1946年提出的几何难题,困扰数学界整整79年。

消息出,数学圈和AI圈同时震动。

OpenAI CEO山姆·奥特曼在X上转发了这消息,写了句意味长的话:“感受很复杂。”

菲尔兹得主、剑桥大学教授Timothy Gowers称之为“AI数学的里程碑”。为了表达他的震惊,他发帖说道:“如果你是名数学,那么在继续阅读之前,你可能需要确保自己是坐着的。”

这次,OpenAI没有再翻车

这不是OpenAI次宣称AI解决了“平面单位距离猜想”问题,简称Erdős问题。

七个月前,OpenAI前总裁Kevin Weil曾在X上调发帖:“GPT-5找到了10个此前未解决的Erdős问题的解!”

结果很快被脸——GPT-5不过是在文献里找到了已有的答案,并没有真正解决问题。谷歌DeepMind CEO Demis Hassabis和Meta席AI科学Yann LeCun相继嘲讽,Weil随即删帖。

这次,OpenAI显然谨慎。

公司在发布证明的同时,附上了份由多位顶数学联署的“companion paper”(伴随论文),包括:菲尔兹得主Timothy Gowers、普林斯顿大学数学Noga Alon、多伦多大学数论学Arul Shankar(印度裔),以及维护Erdős问题网站的数学Thomas Bloom——正是这位Bloom,当初将Weil的那篇帖子定为"严重误"。

这些数学立审查了AI给出的证明,并确认其成立。

数学怎么说

菲尔兹得主、剑桥大学教授Timothy Gowers在说明论文中称此结果为:

AI数学的里程碑。

普林斯顿大学数论学Arul Shankar表示:

在我看来,这篇论文证明了当前的AI模型已经不只是数学的助手——它们能够产生真正原创的、有创的想法,并将其进到完成。

普林斯顿组数学Noga Alon说:

"埃尔德什本人多次在讲座中提到这个问题,我亲耳听过他讲。可以公平地说,每位研究组几何的数学都思考过这个问题……OpenAI内部模型对这个问题的解决,在我看来是项杰出的成就。正确答案并非此前猜测的形式,这令人惊讶,而其构造和分析以优雅、巧妙的式运用了代数数论中相当复杂的工具。"

数学Thomas Bloom——就是7个月前批评OpenAI"严重误"的那位——这次在说明论文中写道:

AI正在帮助我们充分地探索我们几个世纪以来建造的数学大教堂。还有哪些未曾看见的奇迹正在等待?

在AI和数学圈同时活跃的研究者、OpenAI核心研究科学魏亚历山大(Alexander Wei)连发5条文,直言震惊:

十个月前锡林郭勒盟橡塑胶,我还因为AI能赢得IMO金而欣喜若狂。今天,那种兴奋感显得微不足道:个OpenAI内部模型翻了埃尔德什单位距离猜想——这是个可以'毫不犹豫荐接受'发表在《数学年刊》的研究成果。

数学是即将到来之事的先行指标。很快——也许比我们所有人想象的都要快——AI将开始在计机科学、物理、经济、生物等域自主产出里程碑式的成果。我们应该为科学的本质和法发生改变的新世界做好准备。

这道题,到底难在哪

这个问题本身说起来并不复杂:

在平面上随机放n个点,多能有多少对点之间的距离恰好等于1?

这就是“平面单位距离问题”。

听起来简单,但近80年来没人能给出确切答案。

奥力斯    万能胶厂家    联系人:王经理    手机:18231788377(微信同号)    地址:河北省任丘市北辛庄乡南代河工业区

数学们长期认为,优解大概长这样:把点排成个正形网格,pvc管道管件胶然后按比例缩放,这样能产生大约 n1+C/log⁡log⁡nn1+C/loglogn 对单位距离。这个增长速度只比线快点点。

Erdős猜测,这已经是天花板了——不可能有构型能显著越格网格。

这个猜测,79年来没人能翻,也没人能证明它是对的。

AI怎么做到的

OpenAI的模型给出了族全新的点集构型,对穷多个n值,单位距离对数达到了 n1+δn1+δ,其中δ是个固定的正数。

也就是说,它不仅越了格网格,还把Erdős的猜想直接翻了。

普林斯顿数学教授Will Sawin随后进步精化了这结果,给出了具体的δ值:δ = 0.014。

出人意料的是证明用的工具。

这道几何题的突破口,来自个不同的数学域:代数数论——门研究整数扩展和因式分解的抽象代数理论。具体来说,模型用到了"穷类域塔"和"Golod–Shafarevich理论"。

这两个工具,代数数论学们早就熟悉,但没人想到它们能用来解决平面几何问题。

普林斯顿数学Noga Alon评价说:“正确答案不是 n1+o(1)n1+o(1) 这件事本身就令人惊讶,而且这个构造用到了代数数论中相当复杂的工具,式既优雅又巧妙。”

为什么这件事值得关注

这不只是道数学题被解开了。

OpenAI在公告中强调,完成这证明的,是个通用理模型,不是门为数学或这道题训练的系统。

这意味着,同样的理能力——能把复杂论证串联起来、跨域连接知识、找到可能忽略的路径——同样适用于生物学、物理学、材料科学、工程和医学。

OpenAI在公告中写道:“AI即将在研究的创造部分开始扮演非常重要的角,重要的是AI研究本身。”

但公告也补充说,人类的判断仍不可或缺:“业知识变得有价值,而非少。AI可以帮助搜索、建议和验证。人来选择重要的问题,解读结果,决定下步追问什么。”

风险提示及责条款 市场有风险,投资需谨慎。本文不构成个人投资建议,也未考虑到个别用户特殊的投资目标、财务状况或需要。用户应考虑本文中的任何意见、观点或结论是否符其特定状况。据此投资,责任自负。 相关词条:设备保温     塑料挤出机厂家     预应力钢绞线    玻璃丝棉    万能胶厂家

1.本网站以及本平台支持关于《新广告法》实施的“极限词“用语属“违词”的规定,并在网站的各个栏目、产品主图、详情页等描述中规避“违禁词”。
2.本店欢迎所有用户指出有“违禁词”“广告法”出现的地方,并积极配合修改。
3.凡用户访问本网页,均表示默认详情页的描述,不支持任何以极限化“违禁词”“广告法”为借口理由投诉违反《新广告法》,以此来变相勒索商家索要赔偿的违法恶意行为。