JBL CLIPS 琉璃扣耳夹耳机新增“碧玺红色特别版”,首发 1346 元
JBL 为 CLIPS 琉璃扣耳夹耳机推出“碧玺红色特别版”,首发价 1346 元,部分地区叠加国补后低至 949 元。新版本沿用半透明机身、11mm 镀钛振膜动圈与定向投送方案,单体续航 8 小时。
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
OpenAI联合研究机构部署数千AI智能体:32分钟分析数百万小鼠脑细胞,提出两条待验证线索
OpenAI与PerturbAI、斯克里普斯研究所合作,用数千个AI智能体在32分钟内分析数百万个小鼠脑细胞数据,并生成关联基因、细胞变化与文献的推理图谱;专家盲测更认可分布式智能体,但结论仍需实验验证。
从烧Token到演给AI看:打工人的“AI提效”为何成了表演
2026年,大厂对AI的考核从拼Token消耗转向拼回报率,员工压力不降反升。周报凑“AI含量”、把简单操作包装成工作流、对着录音系统演给AI看,成为不少职场人的日常。当姿态比实效更容易被看见,AI提效就成了一场表演。
禾赛发布Kosmo:激光雷达之后,想做机器人数据底座
禾赛发布Kosmo三维世界数据引擎,以空间采集设备和云平台切入机器人训练数据,并宣布与高德、银河通用等合作。公司希望从激光雷达供应商延伸为机器人底层技术供应商,但规模化与业务协同仍待验证。