AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
英伟达推模块化数据中心应急方案,AI算力部署或从数月压缩到数天
在GTC柏林大会上,黄仁勋公布DSX Pods方案:用可快速部署的模块化数据中心,让AI业务在永久设施建成前先跑起来。戴尔、联想、施耐德电气等合作伙伴被点名,交付速度正成为算力竞赛的新变量。
北通盘古手柄新增三款模块化配件:触觉方向盘、滚轮方向盘与触控板齐发
北通为盘古模块化手柄新增触觉反馈方向盘、拟真滚轮方向盘和触觉反馈触控板,售价分别为109元、79元、89元,并同步推出套装与老用户优惠。
极米记得AI记忆手环L1上架:手环吊坠双形态切换,主打全天候AI录音
极米记得AI记忆手环L1于10月22日上架,支持手环与吊坠两种形态切换,主打全天候AI录音、自动整理纪要与待办提醒,综合续航2—5天,售价尚未公布。
刘慈欣监制《三体·大史》定档四季度开机,杨磊称演员已“众神归位”
三体日活动现场,导演杨磊确认《三体·大史》将于2026年第四季度开机,演员全部到位。该剧为《三体》首部真人衍生剧,共12集,故事落在“古筝行动”与《黑暗森林》之间。