黄仁勋谈PC重造:Agent真能成为下一代PC的“最佳宿主”吗?
英伟达在柏林GTC上给出AI PC新设想,黄仁勋称PC需要被重新发明。但围绕Agent的最佳载体,盒子、分布式算力等路线也在升温。
《Crystal Lake》剧评:给 Pamela Voorhees 补上前史
Peacock 前传剧集《Crystal Lake》把镜头对准 Jason 的母亲 Pamela Voorhees。剧评认为前段偏慢,但人物补写和时间线调整让故事逐渐找到后劲。
常驻型Agent重写机房账本:CPU、存储与网络迎来价值重估
Anthropic发布Claude Duet,常驻型Agent把AI搬上云端,数据中心CPU、存储与网络配比被重写。基础设施厂商先拿订单,但商业模式仍待应用层验证。
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
算力账单压顶、生态边界松动:10月22日AI产业五大信号
Meta单季资本开支349亿美元、Anthropic半年净亏807亿美元,与此同时OpenAI接入谷歌云、谷歌把Claude装进Antigravity,云与模型的边界正在加速瓦解。