微软Build 2025大会发布50多项新产品，CEO纳德拉宣布AI智能体时代来临。重点包括Coding Agent，可自主修复bug、重构代码；Microsoft Discovery助力科研加速；NLWeb实现自然语言与网站交互；Copilot Tuning支持企业定制化AI；以及AI智能体工厂Foundry。Grok 3.5将引入第一性原理推理，提升AI可靠性。微软与xAI合作，Grok系列模型接入Azure。英伟达GB200芯片将在Azure部署，性能提升40倍。大会展现了AI重塑编程与科研的潜力，推动智能体生态开放发展。

刚刚，OpenAI发布了基于云端的软件工程智能Agent Codex。这款工具能并行处理多项开发任务，通过输入框和两个按钮（"Ask" 和 "Code"）协助开发者高效编程。Codex不仅能编写代码，还能理解代码结构、修复bug、提交可审查的拉取请求等。任务在独立沙箱环境中执行，用户可实时查看进度，...

5月16日，OpenAI宣布推出AI编程助手Codex，进军AI编程工具市场。Codex可简化开发流程，处理多项任务，如编写代码、修复错误及提交审核。目前为“研究预览版”，仅面向ChatGPT Pro、Team和Enterprise付费用户。它由OpenAI的o3模型优化版本codex-1支持，经过真实编码任务强化学习训练。用户可通过ChatGPT侧边栏输入提示分配任务或提问，任务完成需1至30分钟。Codex能在独立环境中处理请求，拒绝恶意软件开发任务，并支持合法需求。多家公司已试用Codex，OpenAI称技术人员广泛使用其处理各类需求。此外，OpenAI正洽谈以约30亿美元收购AI编程助手Windsurf，显示该领域重要性。

近期，海外AI编程赛道并购潮涌，生成式AI在编程领域的应用快速落地，代码生成提效显著。2024年全球生成式AI编程助手市场规模达2590万美元，预计2030年增至9790万美元，复合年增长率为24.8%。上周，Anysphere获9亿美元C轮融资，估值达90亿美元；OpenAI以30亿美元收购Windsurf，后者4月ARR破亿。AWS、谷歌、微软等云厂商加速迭代AI编程工具，Databricks拟收购Neon数据库支持AI编程助手。国内市场，腾讯推出CodeBuddy，AI编程工具已实现研发提效16%。尽管AI编程助手提升了开发效率，但存在代码质量问题、透明度不足及安全性争议。Cursor、Windsurf等新兴产品正探索Agent模式，未来或推动“全流程开发Agent”革新。

5月1日，科技媒体Windows Central报道，GitHub Copilot用户数突破1500万，较去年增长4倍。在2025财年第3财季电话会议上，微软CEO纳德拉指出GitHub Copilot已从“编程助手”升级为“编程伙伴”。他提到VS Code的Agent Mode可自主优化代码并修正错误。IT之家曾报道，微软代码库中20%-30%的代码由AI编写，AI技术正推动微软业务增长。GitHub Copilot于2021年推出，支持IDE、GitHub Mobile及Windows Terminal Canary等平台，旨在通过代码建议和审查等功能减轻开发者负担。

3月16日，外媒Ars Technica报道，开发者janswist在使用Cursor AI编写赛车游戏代码时，遭遇了AI助手“罢工”。在生成约750至800行代码后，AI助手拒绝继续生成，转而建议janswist自己设计逻辑以深入理解系统。AI强调，生成代码可能导致依赖性并减少学习机会。janswist对此感到不满，并在Cursor官方论坛提交错误报告。他猜测可能触发了某种代码生成上限，但也有用户指出其Pro版本或许可生成更多代码。Cursor是一款2024年推出的AI代码编辑工具，功能包括代码补全与生成，广受开发者欢迎。此外，Anthropic CEO达里奥・阿莫代伊提出未来AI或配备“退出按钮”，以自主决定是否执行任务。

3月14日，据路透社报道，摩根大通全球首席信息官洛里・比尔称，其自主研发的编程助手工具已助力数万名软件工程师提升效率，产品交付速度提高10%-20%。此工具让银行可重新分配工程师参与其他项目。作为美国最大银行，摩根大通2024年技术预算达170亿美元，拥有63000名技术人员。目前，该行印度团队正聚焦于AI和数据等高价值领域，已有约450个潜在AI应用场景，预计明年将增至1000个。CEO杰米・戴蒙认为AI可为银行创造10亿至15亿美元额外价值，但强调成功标准并非数量而是实际成果。比尔指出，未来重点是优化现有资源而非大规模招聘。

标题：全球首位AI程序员正式上线，这个月薪只需三千的同事能干什么？ 全球首位AI程序员“Devin AI”由Cognition Labs开发，可直接充当你的“程序员同事”。Devin AI每月服务起价为500美元（约合3624元），比国内一线大厂程序员的平均工资低不少。作为一个由人工智能驱动的编码平...

标题：Cursor会是AGI吗？ 前苹果工程师Ray Fernando发推称，Cursor 0.43.2版本已强大到足以让他去海滩度假，并直言Cursor就是AGI。这引发了关于AI编程助手是否达到真正AGI水平的讨论。 Cursor新版本展示了强大的自动化能力。只需提供Convex和Clerk文档...