标签： API

Peter Yang 通过其 X 账号的简短推文，推广其面向 AI 和产品领域的付费订阅通讯，目前订阅者已超过 11 万。这反映出在 AI 工具快速迭代的当下，通过深度内容聚合与解读来服务开发者和创作者群体，正成为个人 IP 商业化的主流路径之一。

Mistral AI 于 2026 年 7 月 4 日发布了开源模型 Leanstral 1.5，专为 Lean 4 编程语言中的形式化验证而设计。该模型不仅在数学基准测试中达到或接近满分，还在真实代码库中捕获了五个此前未知的软件漏洞。

豆包宣布其智能体功能将于2025年7月15日下线，这意味着基于该功能创建或配置的自动化任务将停止运行。对依赖该功能进行日常操作的普通用户和开发者来说，需尽快迁移或寻找替代方案。

阿里旗下千问智能体功能与服务宣布将于7月15日下线，这不是一个产品迭代，而是直接关闭特定功能。值得关注的不仅是功能关停本身，更是背后阿里在AI产品策略上的调整信号。