AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
万播收益跌到5元:AI短剧越做越亏,钱都被谁赚走了?
三人团队一个多月烧掉近10万元算力,三部AI漫剧分账不到800元。上半年98.7%的AI微短剧项目无法回本,万播收益从30—100元跌至5元上下,钱大多流向了算力、投流与广告组成的闭环。
极米记得AI记忆手环L1上架:手环吊坠双形态切换,主打全天候AI录音
极米记得AI记忆手环L1于10月22日上架,支持手环与吊坠两种形态切换,主打全天候AI录音、自动整理纪要与待办提醒,综合续航2—5天,售价尚未公布。
XREAL 1 Pro+ 国行上架:3499 元,峰值亮度提至 1200 尼特、鼻托重做
XREAL 1 Pro+ 国行版登陆京东,3499 元、10 月 27 日开售。峰值亮度从 700 尼特升至 1200 尼特,新增 AI HDR 与三种显示模式,鼻托结构重做,Real 3D 引擎提速至 60 FPS。
购物节变成一场对话:AI导购正在改写消费决策入口
今年秋季购物高峰出现了新变化:越来越多消费者先向AI说清预算与需求,再拿到一份候选清单。平台把助手塞进结算路径,商家则用它压缩调研时间。真正被争夺的,是购物旅程里的“第一句话”。