铁门关护角胶 菲尔兹得主都看懵了:OpenAI非数学模型次自主突破80年未解数学难题

OpenAI 又双叒搞数学了铁门关护角胶 。
内部模型搞定了道埃尔德什早年提出的单位距离经典难题,已经80 年实质进展。
解决这个问题的还不是数学模型,而是个通用模型。
该内部模型在埃尔德什经典问题上摸出了全新解题思路,连菲尔兹得主尔斯(Timothy Gowers)都直言,这是实实头回,AI 自主啃下这种未解数学难题:
这是 AI 解决的个其的、未解的数学问题的清晰案例,也是个由 AI(自主)实现的数学突破。
负责这款通用理模型的 Noam Brown 也放话,要尽快发布!!
破人类 80 年固有认知
先说这个数学问题本身。它简单到你能在餐巾纸上画出来,但难到五代数学都没搞定。
埃尔德什 1946 年提出的单位距离问题是说:
平面上放 n 个点,多能有多少对点之间的距离恰好为 1?
听着像小学数学对吧?但你试着摆下——
三个点可以摆成等边三角形,每对距离都是 1;
四个点呢?正形不行,因为对角线不是 1铁门关护角胶 ,所以就得你得动脑子了;
再到 n 个点,问题就炸了。
过去近 80 年,数学们达成了个核心共识:优案大概就是正形网格那样的排列。
用数学语言说,他们相信单位距离对数的增长速度大约是 O ( n ) ,也就是说增长基本上是线的。
写成公式就是 u ( n ) ≤ n^ ( 1+o ( 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 就说那个内部模型即将发布;
奥力斯 泡沫板橡塑板专用胶报价 联系人:王经理 手机:18232851235(微信同号) 地址:河北省任丘市北辛庄乡南代河工业区
现在他又说个通用模型会尽快发布……
我只想知道,OpenAI 到底还藏着多少好东西(doge)。
参考链接:
[ 1 ] https://x.com/polynoamial/status/2057178198228586824?s=20
[ 2 ] https://x.com/voooooogel/status/2057198687307362642?s=20
键三连「点赞」「转发」「小心心」
欢迎在评论区留下你的想法!
— 完 —
� � 点亮星标 � �
科技前沿进展每日见
相关词条:管道保温 塑料管材生产线 锚索 玻璃棉毡 PVC管道管件粘结胶1.本网站以及本平台支持关于《新广告法》实施的“极限词“用语属“违词”的规定,并在网站的各个栏目、产品主图、详情页等描述中规避“违禁词”。
2.本店欢迎所有用户指出有“违禁词”“广告法”出现的地方,并积极配合修改。
3.凡用户访问本网页,均表示默认详情页的描述铁门关护角胶 ,不支持任何以极限化“违禁词”“广告法”为借口理由投诉违反《新广告法》,以此来变相勒索商家索要赔偿的违法恶意行为。
