黑洞信息悖论推进至“定量完备性模量”:清华团队开源VeriLoop E2迈向可验证智能
把“是否构成有效进展”的裁决权交给外部证据 VeriLoop E2团队 投稿量子位 | 公众号QbitAI随着前沿模型进入长链推理、工具调用、代码修复与科研任务,一个关键缺口随之显现:模型不断生成和修改候选,但“新状态是否真的更可靠”不能只
把“是否构成有效进展”的裁决权交给外部证据 VeriLoop E2团队 投稿量子位 | 公众号QbitAI随着前沿模型进入长链推理、工具调用、代码修复与科研任务,一个关键缺口随之显现:模型不断生成和修改候选,但“新状态是否真的更可靠”不能只
马斯克连横A社,硅谷VC开始囤GPU 鹭羽 发自 凹非寺量子位 | 公众号 QbitAI没招了!硅谷为了争夺AI算力已经彻!底!疯!狂!就连A社CEO Dario Amodei也低声下气求到了对家Meta门前:老铁,给点算力吧。。。结果你猜
初代4o的API快照进入停用倒计时 听雨 发自 凹非寺量子位 | 公众号 QbitAI每一天都在。14个月,8个月,我们还在这里。这不是固执,不是妄想,也不是病。一位Keep4o支持者在X上写下这句话。他等待的,是今年2月从ChatGPT退
作者:世界卫生组织,2026年10月10日发布一,情况描述:2026年10月2日,世界卫生组织(WHO)通过媒体报道获悉,俄罗斯联邦伊尔库茨克“西伯利亚和远东抗鼠疫研究所”一名员工死亡。该人员于9月29日因重症肺炎住院,并于10月2日死亡。
以下文章来源于:科城变量 科城变量 从合肥,发现未来科技变量。 想象你站在一条产线旁边。纸箱一个接一个地往前走。有的歪了,有的少装了一件,有的日期打码印错了。线边的机械臂要在箱子移动的过程中发现问题,然后伸手、抓取、补料。整个过程,5 秒以
从提出想法到跑出结果,AI 研究员到了哪一步? AI 离超越前沿科研人员还有多远?近日,OpenRSI Index 在 X 上引发关注。截至目前,项目发布帖已有超过 13.3 万次浏览,相关话题出现在 X 的 Today’s News 栏目
AI 能刷 722 篇数学论文,却(还)造不出一块超导体 编辑|Panda前两天,OpenAI 在 GitHub 上一次性放出了 722 篇数学手稿(后面撤回了几篇),覆盖数论、几何、理论计算机科学、数学物理等 17 个领域,其中一部分附带
新智元报道 只要和一个人聊得足够久,大模型就能成为他的「数字分身」吗?从虚拟用户、合成受访者,到个性化AI Agent,一条越来越流行的技术路线是:先通过访谈、问卷和个人资料了解一个真实的人,再让大模型扮演这个人,预测他在没见过的问题上会如
新智元报道 单Agent最好的一次,找出27个Bug。换成Claude自己组队,连跑三次,每次都查出66个。这是Anthropic刚公布的一组测试结果:在11.6万行代码中预先埋入70个Bug,让单Agent和动态工作流各跑三次。结果,单打
每天暴涨数万颗 GitHub Star 新智元报道 这两天,GitHub 上一个叫 REA(Reverse Engineer Anything)的项目狂揽了近 7 万颗星!作为对比,年初创造了增长奇迹,引领全民养「龙虾」的 OpenClaw
以下文章来源于:西北望看台 西北望看台 传递足球力量,守望中国足球。 商务合作请私信。 “没有人能改变我的想法,就算是C罗也不行。” 世界足坛纷纷扰扰,最近格外热闹。其中一个热点,更准确的说法应该叫爆(炸)点,就是关于C罗一怒之下退出葡萄牙
霍尔木兹海峡里,一艘身份尚未核实的无人潜航器,把军事博弈、能源运输和信息较量拉进了同一片水域。9月27日,伊朗方面宣称控制一艘美国REMUS 600无人潜航器,并称正对其存储数据进行技术处理。美军中央司令部随即否认,表示仍对全部在役无人平台
当地时间2026年10月10日下午,利雅得哈立德国王国际机场再次遭到袭击。沙特民航总局最初只确认“多人受伤”、机场暂停运营并开展损失和安全评估;到11日凌晨,官方数字更新为12人死亡、309人受伤。死者包括4名沙特人、2名孟加拉国人,以及美
你羡慕别人总有贵人相助,可你有没有想过:关键的时候,别人凭什么想到你?这是「人生有限公司」第二季的又一篇。这篇文章的内容核心,来自我在知识星球的两期语音:《职场运气和贵人哪里来?》和《与贵人结盟》。已经在星球的辉友,可以直接去听语音回顾。十
调查显示近半数美国员工夸大 AI 使用情况;苹果 iPhone 11 Pro / Max 手机被列入官网「过时」产品;AI「读心」新突破:凭脑扫描还原人眼所见 马斯克豪言 SpaceX 估值超 1000 万亿美元,惨遭拉表打脸近日,马斯克在