PaperFormalizer 是一个基于 Lean 的智能体流水线，帮助作者发现并修补论文证明中的漏洞，把论文转成经 Lean 验证的版本，关键决策交由作者确认。
OpenAI 早期可解释性研究者 Nick Cammarata 推翻自己十年前对 InceptionV1 神经元 4e:55 的经典结论，称该神经元检测的是 V 字几何形状而非猫或车。他发布长文《Neural Networks Are Already Clean》，指出现代视觉模型最后一层 99%~100% 的神经元都能找到清晰解释，神经网络远比想象中干净。
云栖大会上，千问办公发布企业级Agent基础设施“企业上下文”与AI硬件QwenNote A2，前者把群聊、文档、业务系统信息压缩结构化供Agent调用，后者以名片大小录音卡补上线下对话这一外部上下文来源。
英伟达开源 Nemotron 3 Ultra 的 IMO 数学推理系统，含两个数学专家 checkpoint、训练数据、推理代码与 200 道新基准，以 30/42 分超金牌线，但 1.5TB 显存门槛引发算力集权争议。
一批跨国企业公开了 601 个生成式 AI 应用案例，覆盖 11 个行业、6 种智能体形态。案例共性是：从重复劳动切入，先做单点再扩面。