AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
百度世界2026聚焦智能组织:10+分论坛勾勒AI组织进化路径
百度世界2026将于11月12日举行,设置10+场分论坛,围绕组织跃迁、AI办公、智能体与数字人等议题,解析AI时代的智能组织进化路径。
188天就退场:大厂AI产品进入加速洗牌期
腾讯QClaw公测188天即宣布停服,阿里、字节仍在加码个人助理。八家公司、十条AI赛道的进退显示,大厂AI产品正从密集上新转向整合收拢,独立入口继续收缩。
试点多不等于产品契合:投资人与 Superhuman 创始人谈 PMF 红旗信号
在 TechCrunch Disrupt 的对谈中,投资人与 Superhuman Mail 创始人指出,AI 时代获得试点客户更容易,但转化为生产使用很难。收入口径模糊、客户过于集中、留存不足,都是产品市场契合的危险信号。
从烧Token到演给AI看:打工人的“AI提效”为何成了表演
2026年,大厂对AI的考核从拼Token消耗转向拼回报率,员工压力不降反升。周报凑“AI含量”、把简单操作包装成工作流、对着录音系统演给AI看,成为不少职场人的日常。当姿态比实效更容易被看见,AI提效就成了一场表演。