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

作者 | 凌敏 没有什么比"群星闪耀"更适合形容近期的 TTS（Text-To-Speech，文本转语音）模型领域了。 开年以来，从科技巨头到创业公司再到研究机构，都在发力 TTS 模型。2 月，字节跳动海外实验 室推出一款轻量级 TTS 模型 MegaTTS3-Global；3 月，出门问问联合香港科技大学、上海交通 大学、南洋理工大学、西北工业大学等顶尖学术机构，共同开源新一代语音生成模型 Spark- TTS；同月，OpenAI 推出基于 GPT-4o-mini 架构的 TTS 模型。 与 AI 领域其他热门技术相比，TTS 似乎格外低调，但它却是智能硬件、数字人等场景的"隐形基 石"。凭借广泛的应用领域和开阔的商业前景，TTS 在最近一年取得了长足的进步，并悄然改变 着行业规则。 最近，TTS 模型又有重磅"上新"，Speech-02语音模型一出手，就将 OpenAI、ElevenLabs 甩在 了后面，登顶 Arena 榜单，成为全球第一。 | Creator | | Model | Arena ELO | 95% CI | # Appearances | | --- | --- | --- | - ...

作者 | AICon 全球人工智能开发与应用大会 策划 | 李忠良 编辑 | 宇琪 随着技术的快速发展，大模型在各行业的应用潜力日益凸显，但如何将大模型能力高效转化为实际业 务价值，仍是企业面临的核心挑战。 近日 InfoQ《极客有约》X AICon 直播栏目特别邀请了 华为云 AI 应用首席架构师郑岩 担任主持人， 和 蚂蚁集团高级技术专家杨浩、明略科技高级技术总监吴昊宇 一起，在 AICon 全球人工智能开发 与应用大会 2025 上海站 即将召开之际，共同探讨大模型如何驱动业务提效。 部分精彩观点如下： 在 5 月 23-24 日将于上海举办的 AICon 全球人工智能开发与应用大会 上，我们特别设置了 【大模型 助力业务提效实践】 专题。该专题将围绕模型选型与优化、应用场景落地及效果评估等关键环节，分 享行业领先企业的实战经验。 查看大会日程解锁更多精彩内容： https://aicon.infoq.cn/2025/shanghai/schedule 以下内容基于直播速记整理，经 InfoQ 删减。 场景探索 郑岩：在探索大模型应用场景时，企业常会遇到"看起来很美但落地难"的需求，各位在实际项目中是 ...

直播亮点 5 月 15 日 20:00-21:30 直播主题 AI 开发：从 Demo 到上线有多远？ 直播嘉宾 主持人 ： 孙志岗 AI 师傅创始人 /CEO 嘉宾 ： 从 0 到 1，AI 创业者的实战经验分享。多位一线 AI 创业者现身说法，亲述从想法到落地的真实经 历。当 AI 不只是工具，而是时代机会，你准备好抓住了吗？扫码预约，不见不散！ 直播介绍 直播时间 艾逗笔（idoubi） ThinkAny & MCP.so/ 创始人 莫欣 Agently.tech / 创始人 何少甫 AI 师傅 / 联合创始人、首席产品官 扫描下图海报 【二维码】 ，或戳直播预约按钮，预约 InfoQ 视频号直播。 如何向讲师提问？ 文末留言写下问题，讲师会在直播中为你解答。 多视角剖析 AI 开发：从独立产品到系统架构，再到产研协作 AI 落地到底卡在哪，怎么从 Demo 走到真正上线 聊工具也聊认知，聊实践也聊误区 如何看直播？ ...