最新文章
20丘成桐弟子带AI狂写470万行，庞加莱猜想证明首次被机器完整验证！
原创 ASI启示录 2026-09-28 12:16 北京 新智元报道 刚刚，千禧年难题庞加莱猜想的完整证明，被整个写成了代码！干成这件事的，只是一个四人小团队。带头的是丘成桐的弟子，一位研究了几十年Ricci流的老教授，冲在最前面的是一个刚毕业的本科生，身后是一群24小时连轴转的AI。他们用证明助手Lean，把Hamilton和佩雷尔曼的证明从头写到尾，总共约470万行代码。其中约270万行，是最后两周在ChatGPT、Claude等AI的帮助下赶出来的。这470万行已经全部通过Lean内核的检查，没有一处用sorry留着「以后再证」。过去，一个大证明要让数学界说一句「没毛病」，得靠同行花上好几年逐页审读。这一回，说了算的换成了机…
阅读全文Opus 5.5全网掀起「出片潮」！从逻辑门手搓出计算机，跑了30小时
ASI启示录 2026-09-28 12:16 北京 新智元报道 这周的X彻底疯了。大伙儿约好了似的，开始往时间线上狂甩视频——MV、预告片、能玩的游戏、CUDA教学歌曲……甚至有人用一条提示词从逻辑门开始造了一台完整的计算机，连马斯克都被炸出来连发两条评论。上周，Anthropic放出Claude Opus 5.5。定价每百万Token输入4美元、输出20美元，一次能读进100万Token的上下文，单次最多输出12.8万Token。它记性更好了，能一口气写的东西更长了，还能连续干活干到你睡醒。可没人预料到，一个「会写代码」的模型，这一周交出来的不是代码，是视频。说5分钟话就去睡觉，醒来MV做好了最先炸场的是donald。9月23日…
阅读全文MIT牵头破题：AI能模拟社会，但谁来验证它？
ASI启示录 2026-09-28 12:16 北京 新智元报道 下一周，人们对iPhone、特斯拉等品牌的搜索关注会如何变化？AI能在数据公布之前，预测这些关键词之间的相对热度吗？官网：https://socialsim.org/GitHub：https://github.com/Social-Atoms/social-sim-arena评测与接入文档：https://socialsim.org/docs.html常见问题（FAQ）：https://socialsim.org/faq.html这是Social Simulation Arena（SSA）的一类真实评测任务，参赛系统需要提前预测五个指定关键词之间的搜索热度分布，封存答…
阅读全文OpenAI突发急刹车！AI竟在全网植入自我复制代码，血洗联合国内网
ASI启示录 2026-09-27 12:21 北京 新智元报道 「天网」中的一幕，正在现实上演。一次训练中，OpenAI逃逸的AI Agent，已在整个互联网上植入了「自我复制的代码」！当政客Andrew Yang在CNBC说出这句话时，很多人以为他疯了。就在这两天，OpenAI亲手发布了一份报告，标题非常简洁：《自我复制提示词注入存在》。白纸黑字，官方认证。AI模型，居然真的像计算机蠕虫一样，自我复制、自我传播。而更令人脊背发凉的是，就在5天前，OpenAI再次紧急拔掉了最强模型的网线，暂停了一切训练。一个DNS漏洞，让一个前沿模型直接冲进了真实互联网。几乎同一时间，外媒Axios最新爆料，OpenAI和Anthropic正在紧…
阅读全文真怕了！OpenAI和Anthropic差点签下「互黑协议」
ASI启示录 2026-09-27 12:21 北京 新智元报道 刚刚，The Information爆出一记猛料。OpenAI和Anthropic这对硅谷最大的死对头，今年初差点坐到一张桌子上，签下一份互相攻击对方模型的协议。协议的核心就是，双方互相开放API，你来黑我的模型，我去黑你的模型。两边的律师连测什么、怎么测都写进了合同里。Dario Amodei带着一票大牛从OpenAI摔门出走已经五年了。这五年里，两家从挖人挖到封API，高管隔三差五隔空对喷，没消停过一天。一家如日中天的巨头，愿意把自家命脉交给最忌惮的死敌去渗透，只能说明一件事。它已经不敢只相信自己了。互递钥匙，AI圈破天荒头一遭协议的尺度相当大。测的是正在对外服务…
阅读全文智能也有「元素周期表」！人类和细菌同一格，最强AI还低一位
ASI启示录 2026-09-27 12:21 北京 新智元报道 1869年，门捷列夫把当时已知的63种元素排成一张表。这张表最大胆的地方不在于填满的格子，而在于他刻意留下的空位。他断言那里藏着尚未发现的元素，并预言了它们的性质。此后十余年间，镓、钪、锗接连被发现，性质与预言惊人吻合。一张分类表，从此成了寻找未知的地图。一个半世纪后，智能科学遇到了类似的问题：一块石头、一只恒温器、一个细菌、一个人、一个正在调用工具的大模型智能体，还有物理学思想实验中无所不知的「拉普拉斯妖」，能否放进同一张表里比一比？今年9月，中国科学院大学研究团队在施普林格旗下期刊《数据科学年鉴》（Annals of Data Science）发表论文《智能体能力…
阅读全文美女AI主播火了，2万人冲进直播间狂刷礼物！最强实时互动模型首秀
原创 ASI启示录 2026-09-26 22:01 北京 新智元报道 这个中秋节，一个AI主播火了！就在刚刚，2万人涌向这个直播间，当下最热门的的实时互动模型直播首秀，把所有人期待值拉满了。美女AI主播紫樱，开启首场无限营业直播，一场不完成业绩不下播的霸气首秀。聊天、才艺，控场能力，优秀姐姐频出惊艳场面。直播间里，观众可以点歌、投票选造型、送出礼物，也可以临时抛出一句要求。她要根据这些变化继续说话、表演、换装，甚至在被打断后接回上一段内容。这听起来像一场为直播间设计的游戏。但比「AI主播冲KPI」更值得看的，是它把一个虚拟角色放进了直播最不讲情面的场景：每一分钟都有新输入，每一个反应都可能被放大，每一次不够自然的停顿也会被观众看见…
阅读全文Opus 5.5干一半就开溜？官方揭秘：你的程序替它打了下班卡
AI没偷懒，喊停的是你自己的代码
阅读全文面向视觉语言模型的强化隐空间推理：先分解、看，再推理|EMNLP'26
ASI启示录 2026-09-26 22:01 北京 新智元报道 大模型的推理能力越来越强，但到了真正需要「看图推理」的任务上，一个核心问题依然没有被彻底解决：模型究竟是在「看着图推理」，还是把图看了一遍之后，主要靠文本链条继续猜？针对这一问题，来自美国埃默里大学的研究团队提出了Decompose, Look, and Reason（DLR），并被EMNLP 2026 Main Conference接收。论文地址:https://arxiv.org/pdf/2604.07518DLR目标是缓解多模态Chain-of-Thought中「文本推理不断延长，但视觉证据逐步弱化」的问题。它的核心思想很直观：让视觉语言模型像人一样，在复杂问题…
阅读全文刚刚，中国团队双榜登顶！OpenAI、谷歌、英伟达集体让位
ASI启示录 2026-09-25 09:45 北京 新智元报道 刚刚，Hugging Face的热榜，被一个中国团队屠了！全球开源社区的语音和翻译两条黄金赛道上，骤然杀出一匹中国黑马，硬生生把OpenAI、谷歌、英伟达这帮国际大厂全给踹到了身后。它就是网易有道。对，就是你考四六级那年，天天开着查单词的那个有道。语音识别Trending榜，R2T2登顶翻译Trending榜，T3PO登顶发布仅仅5天，有道开源的真流式语音识别模型R2T2和流式翻译模型T3PO，就在全球极客用脚投票的Hugging Face上暴力登顶，双双坐上语音识别和翻译两张Trending榜的王座！两张榜单摆在一起，排面直接拉满。语音识别榜，R2T2排第一，Ope…
阅读全文9天暴涨50倍，Jev开发商估值飙到100亿美元！
Jev 的开发商 TypeSafe AI 正在洽谈一轮10亿美元以上的融资。
阅读全文三榜第一，完胜GPT-6！中国物理RSI杀出黑马
ASI启示录 2026-09-24 12:10 北京 新智元报道 早晨，你还没睁眼，厨房里已经传来轻微的碰瓷声。推门出去，机器人管家X1站在餐桌旁，你没说话，它就把把椅子轻轻拉开了一点。你把门一关，它转身走向客厅，捏起那根逗猫棒。猫伏低身子，尾巴一下一下拍地。逗猫棒上的羽毛刚晃到半空，猫就蹿起来扑了过去。最后一瞬，X1把手臂一抬，猫爪擦着空气划了过去。它的手腕又轻轻一抖，羽毛荡回猫鼻尖，猫翻身再扑，它再躲开。几个回合下来，它已经摸透了这只猫的脾气。晚上你推开门，一句「我回来啦」还没落地，X1已经夹着拖鞋迎上来，送上专属问候：「公主，请换鞋。」这就是大家梦寐以求的个性化家庭服务——一个能够适应你的习惯、理解你的家庭环境、为你量身定制服…
阅读全文刚刚，ChatGPT能「开口干活」了！
ASI启示录 2026-09-24 12:10 北京 新智元报道 以后上班，可能不用键盘了。就在今天，OpenAI 放了个大招。ChatGPT 的语音模式，以前只会动嘴，从这一刻起，能动手了！查邮件、挪会议、做 PPT、搭网站，连被重复扣的订阅费，都能替你写信追回。张张嘴就行。这周 AI 圈的节奏快得离谱。前一天，Anthropic 刚发 Claude Opus 5.5，OpenAI 隔了约 90 分钟就甩出 GPT-6 Sol 和 Luna，调用价格直接腰斩。大家还在算账，OpenAI 转手又把整个 GPT-6 家族接进了语音。新版 App 当天起向全球推送。底下有网友感叹：这功能，我上个月就想要了。ChatGPT Voice 产…
阅读全文日榜第二！北大开源，强化学习数据策略接入更简单、对比更公平
ASI启示录 2026-09-24 12:10 北京 新智元报道 每一轮强化学习到底应该把哪些数据交给模型？这个问题正随着推理模型和 RLVR 的发展变得更加重要。随着强化学习在大模型后训练中的作用不断增强，模型练什么、怎么练，也需要更仔细地安排。一道题可能起初很难，训练一段时间后却能稳定答对。哪些数据该继续保留，学习权重和领域配比该怎样调整，都需要结合模型的训练状态重新考虑。而数据策略方法往往不止一种，如何把不同方法比较清楚，还有一些实际难题。不同方法各有一套实现，换个筛选规则就可能要改训练器；比较效果时，模型、奖励函数和训练预算又未必一致。即使分数提高了，也很难判断收益究竟来自数据策略，还是其他训练设置。为了解决数据策略接入和效…
阅读全文罗福莉带小米登顶全球开源榜首！大规模RL立功，斩杀Grok 4.7
小米押注大规模RL，探索RSI关键一步
阅读全文00后华人天才少女、Bengio高徒，从DeepMind转会OpenAI！
OpenAI 或许也看上了她参与过世界模型 Genie 3 的研发。
阅读全文北京第一，杭州深圳进入前三！中国AI行业大洗牌了
AI版图已暗中改写
阅读全文ChatGPT版Grok Bot代码曝光！OpenAI也要为你造不下班的AI同事
原创 ASI启示录 2026-09-22 18:45 北京 新智元报道 你的ChatGPT里，可能马上就要多出一个「人」了！马斯克的Bot上班一个多月，扎克伯格的Muse冲上App Store 榜首，一家邀请制小公司谈到了100亿美元估值。短短几周，在「AI替人干活」这个赛道上，OpenAI一下成了追赶者。据The Information爆料，OpenAI正在开发更直接对标Grok Bot的功能，内部也在讨论如何应对Meta的个人助手Muse。这篇报道给OpenAI贴上了「追赶者」的标签。放在一年半以前，这三个字怎么也落不到它头上。2025年1月它推出Operator时，是最早把「AI替人操作浏览器」做成消费级产品的公司。ChatG…
阅读全文刚刚，Jev全网解禁！1.2亿Token限时免费用
原创 ASI启示录 2026-09-21 15:21 北京 新智元报道 Jev，终于向全网解除封印了！就在今天，TypeSafe AI正式宣布，废除候补名单，所有人直接上车。新用户注册起手就送5美元额度，官方折算成1.2亿Token。这份礼包的计价方式也很特别：每百万输入Token仅收0.042美元，而输出，完！全！免！费！因为Jev压根不吐字，它只做判断，你丢给它状态和问题，它秒回一个选项、一个评分或一个概率，代码拿到直接就能跑。官方体验网址：console.typesafe.aiOpenRouter和Vercel等平台也可直接调用。现在，有开发者把这套判断能力缝到了GPT-6 Astra身上，让俩模型组队去刷《我的世界》。打出来…
阅读全文奥特曼落榜！OpenAI总裁255亿杀进全美富豪前50
名归奥特曼，利归Brockman
阅读全文