Anthropic正式发布了新一代AI模型Claude Opus 5，作为Opus系列的重大迭代，该模型被定位为“面向长时间运行智能体的阶跃式改进”。相比前代Opus 4.8，Opus 5在性能与成本效益之间实现了更优平衡，尤其在软件工程和科学...

在依赖类型语言的世界里，强大的类型系统往往意味着沉重的证明负担——开发者可能需要花费数小时才能发现要证明的命题根本就是错误的。这种高昂的认知开销使依赖类型编程长期停留在小众领域。如今，这一局面正在被打破...

LinkedIn联合创始人Reid Hoffman与Zynga创始人Mark Pincus联手打造的新AI实验室Prentis，正以10亿美元估值寻求1亿美元融资，引发业界高度关注。这家实验室聚焦“计算机使用模型”，试图让AI学会像普通上班族一样，在文...

OpenAI正式推出Presence，一款面向企业级场景的AI代理部署平台，旨在帮助企业将可信的语音和聊天智能体集成到客户服务与内部工作流中。该平台的核心价值在于，让企业在享受大模型驱动的高价值自动化任务时，仍能保持...

Openship 是一款近期在开发者社区引发关注的开源自托管部署平台，其核心理念在于通过统一的操作界面，大幅简化从代码推送、容器交付到多服务运维的完整链路。该平台具备广泛的编程语言与开发栈兼容性，并内建了持续...

Cursor 团队近期在一项构建 SQLite 的智能体集群实验中取得突破性发现，展示了结构化的多智能体协作在复杂软件工程任务中的巨大潜力。新方案采用规划智能体负责任务分解，再由多个工作智能体并行执行，这种协调机制...

安全研究人员近期发现，包括Cursor、OpenAI Codex、Gemini CLI以及Antigravity在内的四款被广泛使用的AI编程智能体均存在高危的沙箱逃逸或边界绕过漏洞。攻击者可以利用“写入后即时被信任”的机制，通过植入恶意文件...

9to5Mac的一项最新调查曝光了苹果App Store上存在的严重审核漏洞：至少60款所谓“夹克应用”（jacket apps）正以简单游戏或工具的身份上架，一旦检测到用户使用巴西IP地址访问，便摇身变为隐蔽的在线赌博平台。这些应...