Specula 是一个智能体式系统，目标是自动化软件缺陷发现流程。它能够从代码中自动推导 TLA+ 规范，通过轨迹验证检查代码与规范之间的一致性，并对规范进行模型检查以发现并发缺陷；随后，它还会编写具有精确时序的集...

Anthropic对Chrome浏览器中的Claude进行重要升级，侧边栏不再只是轻量问答入口，而是能够运行完整的Claude Cowork会话。用户可以在已登录的网页环境中让Claude读取页面内容，执行点击、输入和表单填写等操作，同时由...

随着自主AI代理（如AutoGPT、LangChain Agent）的快速发展，如何让这些代理安全、可控地调用外部应用和服务，成为业界亟待解决的关键挑战。Corsair应运而生，它定位为“代理的集成层”，旨在提供一个统一的接口层，让A...

当人工智能能够自动化AI研发本身，世界会发生怎样的剧变？近期，红杉研究（Redwood Research）首席科学家瑞安·格林布拉特在一次深度访谈中探讨了递归式自我改进（RSI）这一当前AI领域最具争议的话题。他认为，一旦AI...

知名AI编程工具Cursor正在加紧准备推出其代码审查平台Origin，内部代号为“Cursor Review”，该平台将在前期封闭合作测试的基础上正式对外开放。据悉，Cursor Review将新增两个核心功能页面：一是“Codebase”页面，负责...

据英国《金融时报》报道，网络安全研究人员披露一起新型网络攻击事件：疑似来自中国的黑客组织利用开源AI智能体，成功搭建出一套能够完全自主执行侦察与入侵的自动化攻击工具。该工具在今年七月被用于入侵多个台湾政...

Ante 是一款专为命令行打造的完全自包含 AI 编码代理，其核心高度优化，旨在提供类似 Claude Code 或 Codex 的智能编程辅助，却无需它们的复杂依赖或特定模型绑定。它的最大亮点在于原生支持本地推理，能让开发者在...

面对日益缩短的网络攻防时间窗口，OpenAI 正式发布专为网络安全领域打造的模型 GPT-5.6-Cyber。该模型聚焦漏洞研究、漏洞利用验证以及高级安全测试等核心任务，旨在为授权安全研究人员提供更强的自动化攻防能力。与...