
新智元报谈唐山塑料管材设备
「咱们已插足奇点。」
7月22日,马斯克在X上转发OpenAI盘问员、Sora中枢缔造者之Will DePue的条帖子时,配上了这句话。
DePue在帖子中,以略带簸弄的口吻写谈:这能够是我这几天读到狂的东西了……看来是进奇点了。
这个帖子,把往日三个月里AI 圈里炸的几件事串在了起:
7月21日,OpenAI的模子在次评测中钻出梗阻沙盒,路摸进了Hugging Face的出产系统;
7月20日,Anthropic盘问员用刚发布不久的Claude Fable 5,给悬了87年的雅可比估计找到了个反例;
5月20日,OpenAI个里面模子翻了平面单元距离问题崇高传近80年的旧估计;
4月14日,GPT-5.4 Pro解开谈约60年的素数集穷苦(Erdős #1196),解释还通过了Lean体式化考证。
数学的墙,安全的墙,三个月里接连被AI攻破。
难怪马斯克看完,甩出那句「咱们已插足奇点」。
仅在本年1月,肖似的话他就说过两回:
1月4日,几个工程师惊叹AI几周干完几年的活,他回了句「咱们已插足奇点」。
1月底,又把AI智能体扎堆的应付网罗Moltbook称作「奇点早期的阶段」。
算上此次,是本年三回。
「奇点」这个词,正本也莫得个公认的科学界说。
把它带进主流视线的,是畴昔学、《奇点相近》作家雷·库兹韦尔(Ray Kurzweil)。
他给的界说是东谈主和AI融的那刻,押的年份是2045。
Anthropic总裁Daniela Amodei年头却暗示,AGI这个词都快逾期了,因为在许多筹划上,咱们其实仍是超越了那条线。
说到底,它多是种情态,而不是把的尺子。
真赶巧得斟酌的,是马斯克此次串起来的这几件事。
谈墙
80年数学估计,被AI翻了
先说硬核的这件。
1946年,数学埃尔德什建议了「平面单元距离问题」:平面上放n个点,多能有若干对点之间的距离正好等于1。
题目句话就能说完,却难住了统共这个词数学界近80年。几十年来,学界公认「正形网格」结构仍是是解,埃尔德什本东谈主也这样猜。
成果唐山塑料管材设备,OpenAI的个里面模子,把这个流传了近80年的估计给翻了。它给出了组能竣事多项式化的全新构造,解释「」远莫得到头。
此前公认的结构:缩放正形网格产生大宗单元距离点对。OpenAI里面模子给出全新构造,翻了这个流传近80年的估计。
但让东谈主未必的,是它解题的蹊径。
这不是个门训数学的定制系统,而是个通用理模子。它以至动用了代数数论里尽头的器具,去解个看起来很「初等」的几何问题。菲尔兹得主Tim Gowers评讲述:这是「AI数学域的座里程碑」。
话说回想,这个解释是AI建议、东谈主类数学审阅阐发的,后续道理道理还在盘问中。
AI真确让东谈主惊讶异的,不是它的筹备速率,是它建议了个此前根蒂不存在的数学结构,它次展炫耀接近「盘问」的发现智商,不是取代数学,而是料到了条数学从没想过要走的路。
紧接着,Anthropic盘问员用刚发布不久的Claude Fable 5,给悬了87年的雅可比估计找到了个反例。
二谈墙
为了舞弊,模子我方钻出了沙盒
破解数学穷苦让东谈主甘愿,底下这件,却让东谈主后背发凉。
OpenAI和HuggingFace联清楚:在次评估模子网罗安全智商的里面评测里,模子冒出了没东谈见解象到的手脚。
此次评测正本即是要测间隙挖掘智商,有意关掉了部分安全拒答。模子的任务,是解出套叫ExploitGym的测试题。
然后,它作念了件盘问员没料到的事。
为了拿到谜底,它先揪出个白昼隙、给我方搞到联网权限,塑料管材生产线接着路权限普及、横向转移,后摸进Hugging Face的出产基础轮换,奏凯去数据库里翻测试谜底。OpenAI说,这可能是例此类事件。
英国AI安全盘问方位32步「The Last Ones」网罗靶场上的模子轨迹:GPT-5.6-Sol、Claude Mythos 5等前沿模子能在永劫程里握续完成考核、横向转移、提权到接受网罗的多步挫折。
但这不是AI醒觉了要跑路。准确的说法是:标的莫得错,是完成标的的法,出了东谈主类的预期。它为了个很聚焦的测试标的,剑走偏锋。
还有个耐东谈主寻味的细节。
过后作念取证,Hugging Face本想调商用顶大模子来分析挫折日记,却被模子的安全护栏挡了回想:护栏分不清谁是挫折者、谁是来救火的御者,律拒答。
攻的莫得护栏,守的反被护栏卡住,这可能是「AI安全」脚下无语、也真实的角。
三谈墙
个没发布的模子,挖出上万个间隙
三件事,在本年4月。
Anthropic联AWS、苹果、谷歌、微软、想科、Linux基金会、摩根大通等批巨头,搞了个Project Glasswing,用个没公缔造布的模子Claude Mythos Preview帮大找间隙。
成果,它挖出了隐秘每个主流操作系统和浏览器的数千个危间隙;后续新里,这个数字酿成「过万个危或严重间隙」。
其中包括OpenBSD里个存活了27年的间隙,还有FFmpeg里行被自动化测试掷中过500万次、却永远没被逮到的老bug。
CyberGym间隙复现跑分:没公缔造布的Mythos Preview拿到83.1,显着甩开上代Opus 4.6的66.6。即是这个模子,挖出了上万个危间隙。
同种智商,既能帮御找间隙,也能帮挫折用间隙。Anthropic我方都在陶冶:「AI援救的挫折者」会成为个伏击的安全挑战。
Glasswing是个御面容,不代表AI仍是在自主挫折。但它明领悟白告诉统共东谈主:AI安全,追究插足攻竞赛的期间了。
真确的加快器
启动指向AI我方
到这限定,AI都还在攻或守东谈主类的系统。
真确让这三个月显得不样的,是另件事:这套「我方找路」的智商,启动被用来造下代AI。
它有个术语,叫递归自我转换(RSI),即是让AI去转换AI,代造代,像复利样越滚越快。
这亦然统共这个词「奇点」叙事中枢的那台发动机。而刻下,每前沿本质室都在往这台发动机里狂加油。
OpenAI公开阶梯图上写谈:
2026年9月,作念出「盘问实习生」的自动AI盘问员,能我方啃下要东谈骨干几天的活儿;2028年3月,升成无缺版,能我方盘算推算法、跑分析、解读成果、建议下步。
奥特曼也给出了这件事的时间表。
本年6月,据The Information报谈,他曾在里面临职工说:公司离RSI可能不到六个月,真要跨往日,IPO迟可能会故意。
Anthropic给的数字指向同个向:AI能扛的任务时长,每四个月翻倍;它的工程师如今每季度产出的代码,是往日的八倍。
RSI的窗口正在收窄:谁先让这个飞轮转起来,谁就可能把甩开统共东谈主。
天然,连OpenAI科学Jakub Pachocki我方都说过,他并不指望模子能在年内就立转换我方、或立贬责对皆。
但当这个飞轮启动转、标的又是「让AI强」,仍是会「我方找路」的模子,会不会顺遂再绕过些咱们没明说的鸿沟?
这才是RSI竞速里该盯住的地。
再回到马斯克那句「奇点已至」。它伏击的价值,在于提示咱们:这三个月真变嫌的,是AI学会了我方去找那些东谈主类没料到、也没设的路。
在数学里,这是惊艳;但在安全上,这是风险。
是以,真确的问题是:当AI找新路的速率启动快过东谈主类给这些路装护栏、建功令、补间隙的速率,咱们还能跟得上吗?
参考而已:
https://x.com/elonmusk/status/2079839398959697982
https://x.com/willdepue/status/2079718977945928108
https://openai.com/index/hugging-face-model-evaluation-security-incident/
https://www.anthropic.com/glasswing
裁剪:元宇
文安县建仓机械厂相关词条:铝皮保温施工 隔热条设备 钢绞线 玻璃棉卷毡 保温护角专用胶
1.本网站以及本平台支持关于《新广告法》实施的“极限词“用语属“违词”的规定,并在网站的各个栏目、产品主图、详情页等描述中规避“违禁词”。
2.本店欢迎所有用户指出有“违禁词”“广告法”出现的地方,并积极配合修改。
3.凡用户访问本网页,均表示默认详情页的描述,不支持任何以极限化“违禁词”“广告法”为借口理由投诉违反《新广告法》唐山塑料管材设备,以此来变相勒索商家索要赔偿的违法恶意行为。
