OpenAI 最新研究显示，人工智能正在深刻重塑人们的工作方式，而不仅仅是提升效率。该团队通过对 80 万条美国用户的 ChatGPT 消息进行分析，发现一个显著趋势：工作者越来越多地使用 ChatGPT 来处理传统上属于其他职...

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

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

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

Agent Client Protocol（ACP）旨在标准化代码编辑器与编码代理（Coding Agents）之间的通信方式，定义了双方可互相调用的方法及事件通知机制。近日，ACP v2 草案正式对外公开，正邀请社区进行审查和测试。新版本在过...

专攻 AI 编码的初创公司 Poolside 在 Hugging Face 上正式发布了其最新大型语言模型 Laguna S 2.1。该模型采用混合专家架构，总参数量高达 1180 亿，但每个 token 仅激活其中 80 亿个参数，在保持强大能力的同时实现...

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

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