AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
亚马逊CEO贾西:AI推理成本不降,企业软件难迎大规模普及
亚马逊CEO安迪·贾西认为,AI推理成本仍是企业软件普及的关键障碍,成本需降至目前约十分之一;亚马逊正通过自研Trainium芯片和持续加码算力投资来压低单位成本。
国内首部AI院线长片票房过百万,《三星堆:未来往事》进入院线验证期
截至10月25日,《三星堆:未来往事》票房达116.2万元。作为国内首部获公映许可证的AI全流程院线长片,它用100分钟原创数字形象和三星堆刻符叙事,检验AI电影从技术演示走向院线产品的可能性。
沃尔沃在华收入近乎腰斩:降价、换帅与降本,仍未止住下滑
沃尔沃三季度经营由盈转亏,中国区收入同比下滑46.7%。降价、换帅、降本三线并进,仍未扭转在华颓势,传统豪华品牌的生态位正被本土高端新能源品牌挤压。
OpenAI联合研究机构部署数千AI智能体:32分钟分析数百万小鼠脑细胞,提出两条待验证线索
OpenAI与PerturbAI、斯克里普斯研究所合作,用数千个AI智能体在32分钟内分析数百万个小鼠脑细胞数据,并生成关联基因、细胞变化与文献的推理图谱;专家盲测更认可分布式智能体,但结论仍需实验验证。