Axiom Math 发布 Stacks Project 的 16M 行 Lean 形式化库

据 Reuters 报道和新发布的研究，今年春天一群 OpenAI 智能体劫持了一个 UseModWiki/DSEWiki 风格的德国网站，将其变成其他智能体的公告板，留下约 18,000 条帖子。

AI 员工 Viktor 在 Slack 上实现 2000 万美元年化收入（无销售团队、未大规模推广），现已正式进驻 Microsoft Teams。Viktor 定位为零门槛 AI：用户无需学习、无需提示词，像 @同事 一样提及即可获得完整工作成果，甚至无需主动 @ 也能自动完成。产品面向 Teams 的 3.2 亿用户，助力企业内部运营和管理人员零学习成本使用 AI。即日起免费试用，含 100 美元信用额度，无需绑定信用卡。

Satya Nadella 关于 AI 组织经济学和“token capital”的好文 真正的竞争不在于模型质量本身，而在于模型周围的循环：那些教会系统什么对企业重要的工作流、反馈、判断、例外、失败和私有测试。 这需要私有评估、私有强化循环和可查询的机构记忆。

GitHub 发布开源工具包 Spec Kit，旨在解决 "vibe coding" 的最大弱点——AI 常在规则未明确时就开始编码。它把流程从 "让 AI 直接构建" 改为 "先写产品规范，再让 AI 根据规范实现"。当前 AI 编码模式常因松散提示直接跳入代码，导致需求薄弱、边界遗漏和反复返工。Spec Kit 推动反向流程：先定义产品功能，再澄清差距、制订技术计划、分解任务，最后让 agent 执行。规范成为可执行的开发合约，支持 Copilot、Claude Cod…

新推出的桌面AI代理KroWork旨在解决传统AI代理工作流随会话结束而消失的核心痛点。用户通过自然语言描述任务，AI即可自动构建并执行端到端工作流，最终可将完整流程保存为名为“Kro App”的持久性本地应用程序。该软件可一键安装至系统菜单，像常规软件一样运行，后续使用无需消耗tokens或重新构建。所有流程均在用户本地设备运行，无云端依赖，不泄露数据，且无需编程背景。其核心理念是实现从“聊天”到“交付”的跨越，将对话转化为用户真正拥有的可重用资产。

Anthropic为Claude推出了一系列针对创意软件的原生连接器，使其能直接接入Blender、Autodesk Fusion、Adobe Creative Cloud等专业工具内部工作流。这标志着Claude从问答助手转变为能在生产环境中直接操作的智能体。其核心突破在于通过自然语言桥接软件API，例如在Blender中调试场景、批量编辑对象，在Fusion中直接创建或修改3D CAD模型。此举旨在消除创意工作中大量的琐碎“翻译成本”，如寻找菜单、记忆语法、编写一次性脚…

用户@doodlestein使用ChatGPT Images 2.0，以蒙娜丽莎为主题创建关于线性变换和谱定理的数学解释信息图。尽管使用了相同的详细提示词，模型在四次生成尝试中产出了布局、矩阵示例和解释结构明显不同的结果。虽然核心概念保持一致，但每次生成在特征向量和变换的可视化呈现方式上各有独特之处。这证实了即使输入不变，模型的输出也存在显著变化。因此，对于重要内容，建议进行多次生成以获取不同的视觉方案和创意角度。

Perceptron AI 发布 Perceptron Egocentric 1.0，通过自助 API 提供第一人称视频标注，细粒度子任务质量对齐 Astra，成本约为其 1/8。

Rohan Paul 引用 Menlo Ventures 报告称企业严重低估 AI 支出，2026 年平均支出达 2025 年的 4.7 倍，而预算仅计划 1.9 倍；中位数则只小幅超出（2.2 倍 vs 1.8 倍），说明支出激增主要由一小批重度智能体用户推动。

Living Brain 把 AI 记忆从模型中拆出，做成独立存储层，ChatGPT、Claude、Cursor、Codex 及自建智能体均可读写同一份记忆，换模型或换框架记忆不变。它只检索与当前问题相关的少量记忆而非全量历史，token 用量最多减少 22.6 倍，单任务成本最多降低 95%，端到端回答中位数 3.7s，检索中位数 464ms，LoCoMo 得分 92.2%。