AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
沃尔沃在华收入近乎腰斩:降价、换帅与降本,仍未止住下滑
沃尔沃三季度经营由盈转亏,中国区收入同比下滑46.7%。降价、换帅、降本三线并进,仍未扭转在华颓势,传统豪华品牌的生态位正被本土高端新能源品牌挤压。
北通盘古手柄新增三款模块化配件:触觉方向盘、滚轮方向盘与触控板齐发
北通为盘古模块化手柄新增触觉反馈方向盘、拟真滚轮方向盘和触觉反馈触控板,售价分别为109元、79元、89元,并同步推出套装与老用户优惠。
Oura再诉Ultrahuman:Ring Pro在美销售面临禁令风险
Oura在得州联邦法院起诉Ultrahuman,称Ring Pro侵犯两项专利,并寻求永久禁令。Ultrahuman回应称将积极抗辩,Ring Pro目前仍可在美销售。
不靠病毒式爆红:初创公司如何赢得并留住客户
TechCrunch Disrupt 上,Gamma、Engine 创始人与 GV 合伙人拆解获客与留存:网红营销不是万能药,传统销售、电话陌拜和用户数据同样关键。