常驻型Agent重写机房账本:CPU、存储与网络迎来价值重估
Anthropic发布Claude Duet,常驻型Agent把AI搬上云端,数据中心CPU、存储与网络配比被重写。基础设施厂商先拿订单,但商业模式仍待应用层验证。
黄仁勋带火机器鸭:Microduck预售破2万台,圣诞档期迎来新变量
黄仁勋在GTC柏林大会上与Microduck机器鸭互动的视频走红,Hugging Face称预售已超2万台。这款开源机器人预计圣诞节前交付,可能成为年末热门玩具。
Instacart 被曝评估出售:已聘投行,DoorDash 谈过、Uber 据称退出
多家外媒称,生鲜杂货配送平台 Instacart 已聘请投资银行评估包括出售在内的选项,并与 DoorDash 进行过收购接触,Uber 也曾参与讨论但据称退出。消息传出后,Instacart 股价一度大涨逾 9%。
Token 摆上天猫货架:大模型厂商开始卖“算力流量包”
双11前夕,MiniMax、智谱、阿里云等纷纷在天猫开出官方旗舰店,把大模型 Token 订阅套餐摆上货架。购买门槛降了,销量却还没跟上——这场算力零售化试验,究竟是一次营销造势,还是商业结构的真正转向?
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。