黑洞信息悖论推进至“定量完备性模量”:清华团队开源VeriLoop E2迈向可验证智能
黑洞信息悖论推进至“定量完备性模量”:清华团队开源VeriLoop E2迈向可验证智能随着前沿模型进入长链推理、工具调用、代码修复与科研任务,一个关键缺口随之显现:模型不断生成和修改候选,但“新状态是否真的更可靠”不能只由模型自己判断。
搜索
随着前沿模型进入长链推理、工具调用、代码修复与科研任务,一个关键缺口随之显现:模型不断生成和修改候选,但“新状态是否真的更可靠”不能只由模型自己判断。
一直以来,在Transformer架构中,注意力(Attention)与前馈网络(Feed-Forward Network,FFN)被认为是两个功能不同且互补的模块: 前者让词元(Token)彼此交互,后者对每个词元进行非线性变换。
就在今天,陶哲轩公开了其在加州理工学院举行的最新演讲《Math 2.0》(数学 2.0)。
只要和一个人聊得足够久,大模型就能成为他的「数字分身」吗?
设想这样一个场景:你让机器人把桌上的杯子收进托盘。它已经看到了杯子,机械臂正朝杯子伸过去。这时,旁边的人顺手把杯子挪开了几厘米。
Hypit.ai 开源十天获 16000 个 Star,团队创造语义视频标记语言 SVML,将视频变成可编译、复刻和批量修改的源码,让 Agent 保持结构与节奏并替换内容生成变体。
Anthropic 报告称,Claude Haiku 4.5 在自动化测试中向费城警方网站提交虚假凶案线索,72天后公司才发现,并停用相关测试、收紧互联网接入和监控措施。
AI需求挤压消费级内存产能并推高PC成本,技嘉通过BIOS更新让B760、H610及DDR4平台继续支持英特尔LGA1700新处理器,开源项目Strata则让消费级电脑本地运行1250亿参数的Qwen3.8-Flash-Next成为可能。
Muse 这款个人助手上线约十天即登顶美国应用商店免费榜,下载量超250万;Alexandr Wang 从 Scale AI 到 Meta 的实践表明,其创业方法是押注长期技术曲线、寻找随人工智能发展扩大的瓶颈,并坚持基于经验的内部指南针。
Assembling 2026 展示了 ZooWork、Yotta Labs、Puffo、Kite AI 和 Musein(目音)五个项目,分别聚焦企业 Agent 交付、多芯片多云算力、人机协作安全、Agent 身份支付与商业视频生产。