编译 | 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 可以通过简单手 ...

整理 | 傅宇琪、褚杏娟 字节多地开始禁止打包餐食回家；腾讯：已囤足够 GPU 训练未来几代模型；"一码难求"Manus 开放 注册；Kimi 界面升级后被指"不如之前有人味儿了"；传英伟达将全球总部设在中国台湾省；华强北 CPU 等产品报价已恢复正常；小米自研 SoC 芯片玄戒 O1 突然官宣；曝哪吒汽车被申请破产；微软 裁员风暴：受 AI 影响，软件工程岗位成重灾区，占比超 40%；曝通用汽车在华进口车平台道朗格全 员被裁，补偿小 N+3；宁德时代即将登陆港股，将成本年度最大港股 IPO…… 行业热点 字节多地开始禁止打包餐食回家 据九派财经报道，字节多地工区开始禁止外带餐食。北京一字节员工告诉记者，最近字节发了内部通 知，职场三餐、随餐饮品、水果、茶水间零食等应现场即取即用，不可带离职场。同时，通知声明职 场餐食外带行为，违反餐饮管理规定，严重侵占情况将会面临退赔、警告、辞退等不同程度的处罚。 午休政策也在发生调整，以前唯一可以关灯午休的深圳工区宣布午睡时不得关灯。由于办公室拥挤， 北京及深圳工区开始限制折叠床的使用。多位字节员工称，现在折叠床不能放在公共区域午睡。 字节一位内部知情人士告诉记者："餐食 ...

这项成就已经被《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 解决创造性问题的能 ...

整理 | 核子可乐、褚杏娟 当地时间 5 月 16 日，专为软件工程师开发热门 AI 工具的初创公司 Windsurf 宣布推出了其首个 AI 软件工程模型家族：SWE-1。除了编码任务之外，本系列模型还针对完整软件工程流程进行了优 化。 此系列目前包含三款具体模型： 这是继 30 亿美元被 OpenAI 收购消息后，Windsurf 的首次技术产品向动态，鉴于此，人们对 Windsurf 推出自研 AI 模型感到意外。然而，这次模型的发布表明，Windsurf 正在尝试从单纯开发应 用程序，扩展到同时研发支撑这些应用的底层模型。 SWE-1 系列发布后，开发者 Arif 立马上手构建一个 Flutter 应用演示，评价称"目前为止很棒！" 不过，Nuttall 也指出，如果没有给出明确的规则，它还是会产生不少幻觉，比如它完全搞错了该如 何在应用中添加路由。另外，和它一起写代码时，最好把功能拆分成小任务，并尽可能一开始就提供 足够多的上下文信息，以避免陷入 AI 死循环。 "总体来说，我个人还是更倾向于在大多数场景下使用 Gemini 2.5，但这是个不错的开始，后续的迭 代值得关注。"Nuttall 总结道 ...

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 是一个人长期参加某在线比赛的平均表现，大家通常会根 据这个分数判断一个人的水平并且对应到某个比赛的表现。 "有可靠消息表明， 出题人并没有专门出题要让大模型做不出来 。"该博主对 ...