购物节变成一场对话:AI导购正在改写消费决策入口
今年秋季购物高峰出现了新变化:越来越多消费者先向AI说清预算与需求,再拿到一份候选清单。平台把助手塞进结算路径,商家则用它压缩调研时间。真正被争夺的,是购物旅程里的“第一句话”。
蚂蚁数科发布LingDT-Decision-1.0:决策模型主打多选与按序判断
蚂蚁数科发布决策模型LingDT-Decision-1.0,提供4B与27B版本,主打更低Token消耗和更快响应,并支持原生多选与按序决策,已在客服、风控、金融等场景测试。
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
亚马逊CEO贾西:AI推理成本不降,企业软件难迎大规模普及
亚马逊CEO安迪·贾西认为,AI推理成本仍是企业软件普及的关键障碍,成本需降至目前约十分之一;亚马逊正通过自研Trainium芯片和持续加码算力投资来压低单位成本。
FCC主席警告媒体勿播“假民调”,前主席批其逼媒体自我审查
FCC主席卡尔警告广播机构不要播出“假民调”,称可能违反监管义务。多位前FCC主席与官员反驳,指其借民调造假事件恐吓媒体、逼出自审查。