JBL CLIPS 琉璃扣耳夹耳机新增“碧玺红色特别版”,首发 1346 元
JBL 为 CLIPS 琉璃扣耳夹耳机推出“碧玺红色特别版”,首发价 1346 元,部分地区叠加国补后低至 949 元。新版本沿用半透明机身、11mm 镀钛振膜动圈与定向投送方案,单体续航 8 小时。
杨元庆预判AI算力新走向:八成Token将在终端与边缘生成,人人需要一台AI中心
联想集团董事长兼CEO杨元庆在内部培训中提出,未来约80%的Token将在终端和边缘侧生成,个人AI普及后每个人都需要家用服务器或专属AI中心,设备也将更多由Agent而非人直接使用。
Instacart 被曝评估出售:已聘投行,DoorDash 谈过、Uber 据称退出
多家外媒称,生鲜杂货配送平台 Instacart 已聘请投资银行评估包括出售在内的选项,并与 DoorDash 进行过收购接触,Uber 也曾参与讨论但据称退出。消息传出后,Instacart 股价一度大涨逾 9%。
CFS 获 8500 万美元芯片法案资助,为聚变电厂研发专用芯片
美国聚变初创公司 Commonwealth Fusion Systems 拿到 8500 万美元《芯片法案》资金,将用于碳化硅功率器件、射频加热电源、抗辐射控制电子以及适配电厂的 AI 硬件,美国政府同时获得公司股份。
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。