杨元庆预判AI算力新走向:八成Token将在终端与边缘生成,人人需要一台AI中心
联想集团董事长兼CEO杨元庆在内部培训中提出,未来约80%的Token将在终端和边缘侧生成,个人AI普及后每个人都需要家用服务器或专属AI中心,设备也将更多由Agent而非人直接使用。
扎克伯格为应对加州富豪税,Meta 新设无投票权股票
Meta 董事会批准设立 C 类无投票权股票,官方理由包括融资、员工薪酬和并购。但 SEC 文件显示,这一安排还能让扎克伯格出售部分股份缴纳加州拟议的亿万富翁税,同时不失去对公司的控制权。
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
AI资本开支进入算账期:Meta现金流转负,OpenAI估值下调
Meta单季资本支出致自由现金流转负,引发科技股抛售;OpenAI投前估值下调至1.25万亿美元,Anthropic上市估值分歧扩大;英伟达推模块化AI工厂,AI代理安全与商业化同步提速。
188天就退场:大厂AI产品进入加速洗牌期
腾讯QClaw公测188天即宣布停服,阿里、字节仍在加码个人助理。八家公司、十条AI赛道的进退显示,大厂AI产品正从密集上新转向整合收拢,独立入口继续收缩。