硅谷初创公司Axiom在成立仅一年、团队约20人规模之际，成功完成了由Menlo Ventures领投的2亿美元A轮融资，估值高达16亿美元。该公司致力于开发名为“Verified AI”的系统，其核心创新在于利用形式化验证技术，确保AI生...

Anthropic公司近日为其开发者工具Claude Code推出了名为“Code Review”的新功能，标志着AI在软件工程领域的应用迈入更深层次。该工具旨在通过多智能体分析技术，对GitHub上的拉取请求进行自动化审查，能够精准捕捉代...

近期科技资讯指出，人工智能技术的普及正显著降低软件开发的门槛，使得快速创建出“看起来能运行”的软件应用变得前所未有的容易。然而，这也在行业内引发了一个关键的混淆：将“快速搭建一个应用原型”与真正意义上“工...

近日，开源项目CodebuffAI在GitHub上发布，它是一款旨在通过终端直接操作、利用多智能体系统来理解和编辑代码库的AI编程助手。与传统的单点代码补全工具不同，CodebuffAI的核心创新在于其采用了协同工作的多智能体架...

在AI驱动的软件开发浪潮中，人与AI的协作模式正经历深刻重构。Thoughtworks技术专家近期发表深度分析指出，未来高效软件工程循环的核心在于“人在回路”（Human-in-the-loop）——即人类专注于定义业务目标、设计软件架...

近期关于人工智能将迅速取代人类工作的论调甚嚣尘上，但最新实时数据与深度分析揭示了另一番图景。数据显示，AI的采用率保持稳定，而软件工程师等职位的招聘需求仍在上升，这直接反驳了劳动力市场正被快速摧毁的说法...

人工智能编程助手Cursor近期宣布其云端智能体（Cloud Agents）获得一项突破性能力：自主控制计算机。Cursor为这些智能体配备了专属的云端虚拟机，并提供了完整的开发环境。这使得智能体能够直接运行它们自己编写的软...

人工智能公司GEPA近日推出了一项名为“optimize_anything”的突破性API服务，该服务宣称能够优化任何可表示为文本的“参数”，为人工智能应用开发带来了新的范式。这项技术本质上是一个声明式API，用户只需定义需要优化...