编译 | Tina 微软一开源，Cursor 和 Windsurf 瞬间就不香了，AI 编码工具的牌桌重新洗牌。 在昨晚举行的 Build 2025 开发者大会上，微软正式宣布 GitHub Copilot Extension for VSCode 项目开源，并采用 MIT 许可证。这一举措标志着全球开发 者将能够免费访问这一先进 AI 编程助手的完整源代码，并参与其功能的持续改进与优化。 微软为开源 Copilot 给出了几条核心理由，解释为何此刻是合适的转折点： 一是大模型能力提升，提示策略不再构成壁垒。随着大语言模型性能的显著增强，许多此前依赖复杂"提示工程"才能实现的功能，如今已成为模型基础能 力的一部分。微软指出，这使得"独家秘方"式的提示策略重要性下降，为开源创造了条件。 二是目前最受欢迎且高效的 AI 交互体验设计已在各类编辑器中趋于统一，微软希望通过将这些通用 UI 组件开放在一个稳定的代码库中，赋能社区对其 进一步打磨和扩展。 三是围绕 VS Code 的开源 AI 工具与扩展生态正在逐步成熟。微软希望为扩展开发者提供更好的构建、调试和测试体验，而在当前 Copilot Chat 扩展未 开 ...

编译 | Tina、核子可乐 2020 年，开源数据库 Supabase 刚成立时，CEO Paul Copplestone 或许难以预见，它将在 2025 年 站上"Vibe Coding"这一开发趋势的风口。 本周，Supabase 的发展已经迎来高光时刻：据《财富》杂志报道， Supabase 宣布完成 2 亿美元 D 轮融资，投后估值 20 亿美元。本轮由 Accel 领投，Coatue、Y Combinator、Craft Ventures 及老股 东 Felicis 参投。距离其上一轮 8000 万美元融资仅过去 7 个月，累计融资已达近 4 亿美元。 Supabase 的崛起也反映出开源数据库在 AI 应用时代的新定位。凭借"开箱即用"的数据库体验， Supabase 极大降低了 SQL 数据库在实际开发中的接入门槛，也因此成为 Lovable 等快速增长的 Vibe Coding 工具的首选后端。其 Slogan "Build in a weekend, scale to millions（周末搭建，支撑百 万级用户）"，精准切中新一代 AI 原生应用的需求。 Vibe Coding 流程通常 ...

整理 | 褚杏娟 "十年后我们会说，我们需要无处不在的人工智能，就像互联网和电力一样。"英伟达 CEO 黄仁勋 5 月 19 日在 Computex2025 的开幕演讲的开始再次强调了 AI 及英伟达作为 AI 基础设施的重要性。 这次演讲中，黄仁勋分享了关于人工智能和机器人未来的观点以及一些新的计算产品。但与之前的传 言不同，黄仁勋并未在演讲中提及 CPU。 此外，演讲最后，黄仁勋还称将建立中国台湾省办事处。从公布的渲染图可以看到，英伟达在中国台 湾地区的办事处大楼采用了类似宇宙飞船的设计风格，命名为 NVDIA Constellation。黄仁勋表示， 该园区将尽快开始建造，为员工提供办公空间。 黄仁勋表示， Physical AI 是机器人革命的基石，能对物理环境进行推理等。从 "单次响应" 转向 "思 考型"、"推理型"、"推理时间扩展型" AI，需要更多计算。因此，英伟达创建了新系统 Grace Blackwell。 "我很高兴地宣布，我们的 Grace Blackwell 系统在经历了艰难的开发过程后，现在已全面 投入生产。基于 HGX 主板的 Blackwell 系统自去年以来已全面投入生产，并 ...

作者｜冬梅、核子可乐 近日，curl 项目（一款用于通过 URL 传输数据的命令行工具和库）创始人 Daniel Stenberg 在领英发帖称，已经受够了由 AI 生成的大量"垃圾"漏洞报 告，因此近期引入额外复选框，用以过滤此类平白浪费维护人员时间的低效提交内容。 curl 创始人被 AI 垃圾"逼疯了" Stenberg 表示，项目维护人员需要花费大量时间对每一份通过 HackerOne 提交的 AI 辅助漏洞报告进行分类，但往往发现这些报告的内容一无可取， 在效果上约等于针对项目发起的 DDoS 攻击。 Stenberg 在 LinkedIn 上引用了近期一份"令他忍无可忍"的报告，并表示"到此为止吧，我受够了。我要坚决制止这种疯狂行为。" 在 HackerOne 上提交 curl 相关安全报告有了一些新规定，例如所有通过 HackerOne 提交 Curl 安全报告的研究人员，现在必须回答以下问题： "您是否使用 AI 来发现该漏洞或生成此报告？" 如果选择"是"，bug 报告者将会面临一连串后续问题，包括要求他们提供相关证据以证明该 bug 真实存在，而后 curl 团队才会花时间加以验证。 St ...

编译 | 傅宇琪 5 月 6 日，AI 编程黑马 Cursor 的母公司 Anysphere 完成了一轮 9 亿美元（约合人民币约 65 亿 元）融资，估值增长两倍多，达到约 90 亿美元（约合人民币约 654 亿元）。这款全球增长最快 的 AI 代码编辑器，推出仅两年便达到了 3 亿美元的年经常性收入，其背后成功的秘诀是什么？ 最近，Anysphere 的联合创始人兼首席执行官 Michael Truell 在播客节目中，与主持人 Lenny 详细回忆了 Cursor 构建过程中的经验教训，团队搭建的心得，以及如何为即将到来的 AI 未来做 好准备的建议。基于该播客视频，InfoQ 进行了部分增删。 核心观点如下： Cursor 的构建 L enny ： Cursor 正在改变人们构建产品的方式、职业生涯、行业等等，这一切是如何开始的 呢？初期有没有什么难忘的时刻？ Michael： 最初，两个关键时刻让我们对 AI 产品充满兴奋。其一是在使用 Copilot 测试版时，我 们感受到 AI 从虚拟演示转变为了真正实用的工具。另一个是 OpenAI 发布的关于技术扩展的研 究论文，表明了 AI 可以通过简单手 ...

Group 1 - ByteDance has begun prohibiting employees from taking meals home, citing management of food waste and safety concerns [1][2] - Tencent reported a 91% year-on-year increase in capital expenditure due to AI investments, amounting to 27.48 billion yuan [3] - Manus, an AI platform, has opened registration for overseas users, allowing them to experience the service without an invitation [4][5] Group 2 - Kimi's interface upgrade has received mixed feedback from users, with some feeling it lacks the previous human touch [7] - NVIDIA is reportedly planning to establish its global headquarters in Taiwan, emphasizing its close relationship with TSMC [10] - The prices of CPUs and GPUs in Huaqiangbei have returned to normal levels after a spike earlier in the year [12] Group 3 - Xiaomi announced its self-developed SoC chip, "Xuanjie O1," set to launch later this month, marking a significant milestone in its chip development journey [13] - Neta Auto has been reported to face bankruptcy proceedings, with significant tax liabilities and legal issues [15] - Microsoft is laying off 6,000 employees globally, with over 40% of the cuts affecting software engineering roles due to AI integration [16] Group 4 - General Motors' Chinese import vehicle platform, Daolang, has undergone significant layoffs, with compensation packages based on tenure [18] - CATL is set to launch its IPO in Hong Kong, expected to be one of the largest in recent years [19] - The AI landscape is evolving with new tools and models being introduced, such as Google's AlphaEvolve and OpenAI's GPT-4.1 [20][23]

这项成就已经被《Nature》刊登，它的厉害之处在于刚出道就破了数学界 53 年纪录：用 48 步计算 搞定 4x4 复数矩阵乘法（相当于把祖传的"珠算口诀"给优化了）。 它不只会算矩阵——几何题、数独谜、质数猜想...50 多个数学领域的未解难题也都不在话下。 但 DeepMind 团队的说法很实在："这 AI 不是来替代数学家的，是来当助手的。" 也就是说， DeepMind 将它定位为一款"Agent"，毕竟它最擅长的就是把人类要花几个月验证的想法，压缩到几 小时里试错迭代。 编译｜核子可乐、冬梅 昨晚，科技圈又炸锅了！ 谷歌 DeepMind 又放出了大招——历时一年半钻研的 AlphaEvolve 终于亮相了。这个由 Gemini 驱动 的 AI 智能体，简直就是个会自我进化的"解题机器"。 项目地址： https://deepmind.google/discover/blog/alphaevolve-a-gemini-powered-coding-agent-for- designing-advanced-algorithms/ 简单来说，它就像个超级学霸：将谷歌 Gemini 解决创造性问题的能 ...

Core Viewpoint - Windsurf has launched its first AI software engineering model family, SWE-1, aimed at optimizing the entire software engineering process beyond just coding tasks [1][2][9]. Group 1: Model Details - The SWE-1 series includes three specific models: SWE-1, SWE-1-lite, and SWE-1-mini, each designed for different functionalities and user needs [2][6][27]. - SWE-1 is comparable to Claude 3.5 Sonnet in reasoning ability but at a lower service cost, while SWE-1-lite replaces the previous Cascade Base model with improved quality [6][27]. - SWE-1-mini focuses on speed and is designed for passive prediction tasks, operating within latency constraints [6][27]. Group 2: Performance and Evaluation - Windsurf claims that SWE-1's performance is close to leading models and superior to non-leading and open-weight models, based on offline evaluations and production experiments [14][20][21]. - The offline evaluation involved benchmark tests comparing SWE-1 with models like Cascade and DeepSeek, focusing on usability, efficiency, and accuracy [15][18][20]. - Production experiments measured user engagement and model utility, with Claude as a benchmark for comparison [21][22][24]. Group 3: Development Philosophy - Windsurf aims to enhance software development speed by 99%, recognizing that coding is only a small part of the software engineering process [9][10][12]. - The company emphasizes the need for models to handle various tasks beyond coding, including accessing knowledge, testing software, and understanding user feedback [9][10]. - The development of SWE-1 is part of Windsurf's broader strategy to create a "software engineering" model that can automate more workflows and improve overall efficiency [12][30][33]. Group 4: Future Directions - Windsurf is committed to continuous improvement and investment in the SWE model family, aiming to surpass the performance of leading research lab models [27][33]. - The concept of "flow awareness" is central to the development of SWE-1, allowing seamless interaction between users and AI [29][30]. - The company believes that leveraging insights from user interactions will guide future enhancements and ensure the model meets user expectations [30][33].

LLM Inference 自从 ChatGPT 问世以后，LLM 相关技术对人工智能技术领域形成了冲击性的影响，许多围绕 LLM 的技术架构的发展也一直在如火如荼的展开，比如 RAG 和 AI-Agent，以及时下比较火爆的 Model Context Protocol (MCP)[1]。在展开之前结合行业现实，笔者认为解释清楚 LLM Inference（LLM 推 理）和 LLM Serving（LLM 服务）的概念是十分必要的。 事实上，由于行业的快速发展，许多概念和知识点一直在业界混淆不清，比如对于 LLM Inference 和 LLM Serving 两个概念我相信不少人都是相当不清晰的。笔者认为造成这些问题的主要原因之一是在 LLM 的工程实践过程中将其所负责的功能范畴相互交错导致的。简单来说，为了满足业务需求很多 LLM 相关的技术框架不得已将 LLM Inference 和 LLM Serving 的功能集合都实现成在一起，导致功 能集合的边界模糊不清。因此，除了从 Inference 和 LLM Serving 的角度去谈 MCP 的发展，解释清 楚此两者的概念范畴同样也是本文的主要目的 ...

作者 | 褚杏娟 最近，第十届中国大学生程序设计竞赛（China Collegiate Programming Contest，CCPC）举行。 字节 Seed 作为赞助商，携 Seed-Thinking 非正式参与了最后的比赛。结果却让很多人比较意外， Seed-Thinking 只做出了一道签到题（指专门设计得比较简单，让选手"打卡"或"热身"的题目）。据 悉，CCPC final 赛的题目数量在 10～13 题不等，这次题目信息还未公布。 随后，Seed 的工作人员在知乎上也发布了一些其他模型的参赛结果： 根据参赛选手的描述，这些难题中，C 题和 G 题相对来说比较偏向于是"签到题"的。OpenAI、谷 歌、DeepSeek 参赛成绩也是比较让人意外的。 "根据之前的 codeforces rating 分数，假如那些大模型是人类选手，应该不止这个成绩。"小红书博 主"AI 实话实说"评价道。codeforces rating 是一个人长期参加某在线比赛的平均表现，大家通常会根 据这个分数判断一个人的水平并且对应到某个比赛的表现。 "有可靠消息表明， 出题人并没有专门出题要让大模型做不出来 。"该博主对 ...