闻乐 发自 凹非寺量子位 | 公众号 QbitAIOpenAI又双叒搞数学了。内部模型搞定了一道埃尔德什早年提出的单位距离经典难题已经80年无实质进展。解决这个问题的还不是数学专家模型而是一个通用模型。该内部模型在埃尔德什经典问题上摸出了全新解题思路连菲尔兹奖得主高尔斯Timothy Gowers都直言这算是实打实头一回AI自主啃下这种未解数学难题这是AI解决的第一个极其著名的、未解的数学问题的清晰案例也是第一个由AI自主实现的数学突破。负责这款通用推理模型的Noam Brown也放话要尽快发布打破人类80年固有认知先说这个数学问题本身。它简单到你能在餐巾纸上画出来但难到五代数学家都没搞定。埃尔德什1946年提出的单位距离问题是说平面上放n个点最多能有多少对点之间的距离恰好为1听着像小学数学对吧但你试着摆一下——三个点可以摆成等边三角形每对距离都是1四个点呢正方形不行因为对角线不是1所以就得你得动脑子了再推到n个点问题就炸了。过去近80年数学家们达成了一个核心共识最优方案大概就是正方形网格那样的排列。用数学语言说他们相信单位距离对数的增长速度大约是 O(n)也就是说增长基本上是线性的。写成公式就是 u(n) ≤ n^(1o(1))那个o(1) 趋近于0。而这次OpenAI的内部通用模型没走几何路线而是从代数数论绕进来构造出了一族全新的点排列方式。最后证明u(n) ≥ n^(1δ)其中δ0。翻译过来就是增长速度不是线性的是超线性的。那个大家以为“趋近于0”的小尾巴其实是正的。80年的数学共识被打破了。是AI给出的构造虽然证明了δ0但具体数值还不是最优。人类数学家拿到这个构造之后立刻在AI的基础上做了优化把下界又往上推了一把。虽然OpenAI没有发布AI未精简过的完整思路但其精简后的内容足足有125页网友还发现一个细节该模型在第39页阐述了关键观点并将构造过程描述为“令人恐惧的”。于是不少数学爱好者表示好想读到完整思路……而且据OpenAI自己说这款模型还不是专门练数学的专用AI就是正经通用大模型纯靠自己逻辑推演完成突破……天赋拉满了。这次不是狼来了OpenAI在数学上翻过车这个绕不开。去年10月OpenAI副总裁Kevin Weil发帖说GPT-5解了10个埃尔德什问题。结果被维护erdosproblems网站的数学家Thomas Bloom当场拆穿这是误导GPT-5只是搜到了Bloom个人不知道的已有论文不是原创发现。DeepMind哈萨比斯也炮轰“令人尴尬”最后Weil删帖收场。七个月后又是Thomas Bloom面对OpenAI的新数学成果说了句完全不同的话这是人工智能目前在数学领域取得的最亮眼成就。年初First Proof项目里OpenAI的一个内部数学模型解决了题集中的5道当时Noam Brown就说那个内部模型即将发布现在他又说一个通用模型会尽快发布……我只想知道OpenAI到底还藏着多少好东西doge。参考链接[1]https://x.com/polynoamial/status/2057178198228586824?s20[2]https://x.com/voooooogel/status/2057198687307362642?s20一键三连「点赞」「转发」「小心心」欢迎在评论区留下你的想法—完— 点亮星标 科技前沿进展每日见