OpenSpec – 一个轻量且可配置的 AI 规范框架

OpenSpec 是一个面向 AI 编程场景的轻量级软件规范框架,据其官网公开数据,已获得 6.8 万 GitHub Stars,每月有超过 26.5 万名开发者使用,平均每两秒就生成一份新的 spec。

OpenSpec 是一个面向 AI 编程场景的轻量级软件规范框架,据其官网公开数据,已获得 6.8 万 GitHub Stars,每月有超过 26.5 万名开发者使用,平均每两秒就生成一份新的 spec。

Mozilla 与 Mistral 达成合作,Firefox 的 AI 浏览助手 Smart Window 开始由 Mistral 模型驱动,首发法国和北美,主打隐私保护与多语言本地化。

Hacker News 上出现了一个名为 ImpactGate 的合并门禁方案,试图在代码合并环节为 AI 生成或辅助的改动打出“结构腐化”评分。它值得关注,是因为 AI 写代码的门槛越来越低,但“看起来能跑”和“长期可维护”之间的差距正在被放大。

开源项目 ImpactGate 发布了一个“结构腐化”合并门禁,用公式量化每次代码改动给已有复杂类带来的额外风险,在类变成没人敢碰的“上帝类”之前就把它拦住。它把 AI 时代常见的“代码越堆越多、每步看着都合理”问题,变成了可计算、可拦截的工程指标。

知名 PlayStation 破解者 Andy “TheFlow0” Nguyen 宣布退出 PS5 Linux 项目,直接原因是他认为开源社区正被大量不理解的 LLM 生成代码和“氛围编程”参与者占据。这起事件把 AI 辅助编程对开源协作的冲击,从抽象争论变成了具体流失案例。

Hugging Face 下架了一个基于开源 GLM-5.3 的“越狱”模型,原因是其仓库命名和模型卡片直接把网络攻击、漏洞利用、恶意软件列为预期能力;该模型随后被发布者重新上传。Hugging Face 很少主动封杀托管模型,这次动作值得关注。

Perplexity 用两名工程师配合数百个常驻 AI 智能体,在两个月内自研出键值数据库 CobbleDB,替换掉 AWS DynamoDB,官方称迁移后每年最多可省下一亿美元。这意味着 AI 搜索公司在核心基础设施上开始"自给自足"。

盖茨基金会计划未来两年投入至少 10 亿美元,把 AI 工具推向中低收入地区的医疗、教育和农业场景;而比尔·盖茨同时警告,若不主动干预,AI 可能加剧而非缩小全球贫富差距。

特朗普在 All-In Summit 现场直接打电话给英伟达 CEO 黄仁勋,黄仁勋开免提当众接听并致谢,特朗普则重申"鼓吹 AI 风险是骗局"、强调美国必须赢下 AI 竞赛。这场即兴通话把 AI 政策、选举政治和英伟达的市场地位摆到了同一个舞台上。

蚂蚁集团 AI 安全实验室开源了大模型内生安全技术 SingProbe,复用基座模型推理时的隐藏状态,以不到 0.5% 的额外算力实现 token 级实时风险拦截,并兼容 29 款主流大模型。