AI进了公司,项目却没进来:影视人的一年
从制片人陪老板“搓AI玩具”,到策划转岗大模型测试,再到AI短剧制作方被投流成本挤压,AI正在重塑影视行业的工作方式与利润分配。
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
清华AIR孵化紫荆智康:AI医生分身“坐诊”,多智能体重构诊疗流程
清华AIR孵化的紫荆智康推出多分身智能体协同技术,并升级“紫荆AI医院”。不同专科AI分身可在门诊中按需提醒或参与会诊,系统已在真实医院测试,医生诊疗效率提升约30%。
西部数据2027财年Q1营收增55%,AI存储需求推高毛利率
西部数据2027财年第一财季营收43.81亿美元,同比增长55%;毛利率升至57.8%,下一财季营收指引继续加速,AI数据经济对高容量存储的拉动成为焦点。
智能体手机加速爆发:换机困境、端侧AI与下一代入口之争
换机周期拉长,手机厂商把新故事押注在智能体。端侧算力成熟、模型小型化与端云协同让Agent手机具备落地条件,整机Agent与超级App两条路线并行,体验链路已跑通,但生态接入仍决定上限。