机器之心报道 编辑：杜伟 随着大模型的崛起，AI编程领域正在发生翻天覆地的变化。 各种编程大模型、编程工具涌现，通过自动补全代码、自动 debug 等实用的功能为开发者的日常工作提供极大便利，并在一定程度上提升了开发效率。 不过，问题来了，AI 编程工具带来的影响真是如此吗？ 近日，一家非营利性 AI 调研机构「METR」进行了一项随机对照实验，旨在了解 AI 编程工具如何加速经验丰富的开源开发者的工作效率。 结果却是非常令人意外： 开发者本来坚信使用使用 AI 工具后速度可以提升 20%，但实际上速度却比没有使用 AI 工具时慢了 19%。 这一结论在社交媒体 X 上爆 了，阅读量几乎要突破 300 万。 如下图所示：与专家预测和开发者本来的直觉相反，2025 年初的 AI 编程工具将减缓经验丰富的开发者的开发速度。在本次随机对照实验中，16 位拥有中等 AI 编 程经验的开发者完成了 246 项大型复杂项目的任务，他们平均拥有 5 年开发经验。 对于这项调研，网友反应不一。有人感同身受，表示赞同。 有人则对 METR 的测量指标产生了质疑，表示「完成任务的时间」不能与「生产力」划等号，并且中等 AI 经验 ...

AI工具对开发者效率的影响 - 在真实开源项目实验中，使用AI工具导致任务完成时间增加19%，与开发者预期效率提升24%相反[1][15][16] - 16位经验开发者完成246项任务（136项允许使用AI，110项禁止），涉及平均23K星、110万行代码的仓库[6][14] - AI组开发者减少主动编码和搜索时间，但增加33%时间用于审查AI输出、调整提示和等待生成[20][22] 实验设计与执行细节 - 任务来自开发者真实代码库，包括错误报告和功能请求，通过随机分配决定是否使用Cursor Pro+Claude 3.5/3.7 Sonnet[7][10][11] - 开发者平均5年经验，在实验仓库有1,500次提交记录，对熟悉度高的任务AI减速效应更明显[28] - 仓库平均存在10年，规模达110万行代码，AI在复杂环境中表现更差[28] 关键影响因素分析 - **直接生产力损失**：开发者仅接受44%的AI生成代码，9%时间用于清理AI输出，AI缺乏对隐式上下文的理解[28] - **实验偏差**：47%的AI任务产生更多代码行数，开发者存在因实验要求过度使用AI的情况[30] - **AI局限性**：生成延迟占4%工作时间，开发者主要采用基础提示策略，未充分挖掘模型潜力[30] 行业应用现状 - SAP调查显示AI平均每日节省1小时，但企业将节省时间转化为更高产出要求，如亚马逊要求用AI实现"更精简团队完成更多工作"[36][37][38] - 开发者使用AI时提交的PR质量与传统方式无显著差异，但代码审查时间相近[30]

Key Takeaways MP stock hit a 52-week high on a DoD deal to expand rare earth magnet production and ensure long-term sales. The 10-year agreement sets a price floor and commits 100% of output to defense and commercial use. Q1 NdPr output soared 330%, but higher costs and halting China shipments widened MP's quarterly loss.MP Materials (MP) stock hit a 52-week high of $48.12 yesterday before closing the session lower at $45.23. The stock’s gain has been fueled by the news that MP has entered into a public-p ...

华为盘古模型争议 - 华为开源盘古7B稠密和72B混合专家模型 但被质疑抄袭阿里云通义千问Qwen-2 5 14B模型 注意力参数分布相似性高达0 927 [2] - 华为声明盘古Pro MoE基于昇腾硬件平台开发 部分代码参考业界开源实践 严格遵循开源许可证 [2] - 自称华为员工发文揭露内部团队通过套壳续训阿里千问 Deepseek等竞品模型伪造技术突破 [2][3] 腾讯微信AI搜索争议 - 微信AI搜索功能被指强行开盒 点击推文中蓝色人名链接可浏览AI生成的个人简历及关联推文 [5] - 腾讯回应称AI搜索仅整合公众号及互联网公开信息 不使用用户隐私数据 [5] 百度搜索改版 - 百度搜索框支持超千字长文本输入 集成AI写作 AI画图等功能 为十年来最大改版 [6] 全球AI人才动态 - 全球AI领域Top100人才榜单中华人占主力席位 包括何恺明 张祥雨等就职于国内外企业的研究者 [7] - Meta成立超级智能实验室 引入6名OpenAI前华人员工及Scale AI前CEO等11位行业重量级人物 [28] 大模型开源与进展 - 百度开源文心大模型4 5系列 含47B 3B MoE模型等10款 预训练权重和推理代码完全开放 [15] - 智谱AI开源通用视觉推理模型GLM-4 1V-Thinking 9B参数多模态模型在18项任务中持平GPT-4o等 [10] - 马斯克旗下xAI意外曝光Grok 4模型 定位为旗舰级万能模型 同期完成100亿美元融资 [20][32] 企业级AI应用 - 钉钉多维表新增100+电商行业AI模板 支持AI生成图片 解析文件等功能 产品全面免费 [16] - 微软将AI工具使用量纳入员工考核 GitHub Copilot生成代码比例等成KPI指标 [26][30] - 苹果考虑弃用自研AI模型 转向Anthropic或OpenAI技术为Siri提供支持 [27] 机器人及硬件进展 - 字节跳动两年半量产超千台轮式物流机器人 团队从50人扩至150人 长期目标具身智能 [10] - 宇树科技完成C轮7亿元融资 投后估值120亿元 资金用于加速IPO及技术研发 [35][36] 半导体与EDA动态 - 美国取消对华EDA出口限制 西门子 新思科技 楷登电子恢复中国客户软件访问权限 [17][18] - 国产GPU公司曦望Sunrise融资10亿元 产品线含兼容CUDA生态的S2大模型推理芯片 [38] - 摩尔线程 沐曦科创板IPO获受理 拟分别募资80亿元和39 04亿元 [39] 融资与上市 - Figma提交纽交所IPO申请 2024年营收7 49亿美元 同比增长48% 亏损7 3亿美元 [31] - 云知声港交所上市 募资3 2亿港元 资金用于研发及国际市场拓展 [37] - 智谱AI获上海国资10亿元战略投资 三方合作建设AI新型基础设施 [34] 政策与行业趋势 - 前5个月中国软件业务收入55788亿元 同比增长11 2% 出口227 1亿美元增3 3% [41] - 工信部印发网络安全专项行动方案 目标为800家工业企业开展贯标达标试点 [42] - 北京发布AI+医药健康计划 探索类脑智能 DNA存储等技术在医药领域应用 [43] 海外AI动态 - 谷歌全球开放Veo3 AI视频生成模型 集成音频生成能力 质量与可控性显著提升 [21] - CoreWeave首发英伟达GB300 NVL72服务器 单机架AI性能超百亿亿次浮点运算 [22] - 欧洲44家企业联名呼吁欧盟暂停AI法案 称模糊规则阻碍创新与国际竞争 [29]

业绩总结 - 第一季度总收入为520万美元，且实现正的细分调整后EBITDA[10] - 2025年第一季度公司收入为60,810千美元，较2024年第四季度的48,684千美元增长了24.5%[29] - 2025年第一季度的净亏损为22,648千美元，相较于2024年第四季度的净收入16,489千美元，出现了显著的亏损[29] - 2025年第一季度的调整后EBITDA为(2,696)千美元，较2024年第四季度的(1,233)千美元有所恶化[30] - 2025年第一季度的每股亏损（稀释后）为0.14美元，较2024年第四季度的0.08美元有所增加[37] 用户数据 - NdPr销售量为464吨，生产量为563吨[18] - 第一季度的REO生产量为12,213吨，销售量为11,478吨[18] - NdPr氧化物生产量达到563吨，环比增长36%[10] - NdPr的实现价格为52美元/吨，较上一季度略有上升[18] 成本与费用 - 2025年第一季度的销售成本为48,831千美元，占总收入的80.4%[29] - 2025年第一季度的股权激励费用为7,353千美元，较2024年第四季度的7,467千美元略有下降[34] - 2025年第一季度的利息费用为7,615千美元，较2024年第四季度的2,857千美元显著增加[30] - 2025年第一季度的调整后净亏损为19,898千美元，较2024年第四季度的7,492千美元有所增加[34] 市场动态 - 公司于4月1日收到了第三笔5000万美元的客户预付款[10] - 公司已停止向中国销售浓缩物，正在现场进行库存积累[10] 其他信息 - 调整后EBITDA为-1.3百万美元，较上一季度下降[22] - 2025年第一季度的加权平均流通股本为163,764,345股，较2024年第四季度的186,791,826股减少[37] - 2025年第一季度的税收影响调整为578千美元，反映了调整项目的税务影响[34]

生成式AI - Gemini 2 5 Pro在LMeana基准测试中全面领先，首次在文本、视觉、WebDev Arena三大领域超越Claude 3 7 [1] - 新版本强化编程能力，可将图片视频转化为交互式应用，VideoMME测试得分84 8% [1] - 开发者可通过Google AI Studio和Vertex AI使用更新版本，已上线Gemini App并支持Canvas功能 [1] ComfyUI功能升级 - 新增原生API节点功能，支持10+模型系列和62个新节点，可直接调用Veo2、Flux Ultra等付费模型 [2] - 完成品牌视觉更新，新Logo采用连接方块元素设计，融入90年代动漫与Y2K风格 [2] - 即将推出用户自定义API Key、工作流并行执行功能，并增强视频处理能力 [2] Kevin模型开源 - Cognition AI开源32B参数量的Kevin模型，基于QwQ-32B通过GRPO强化学习训练，生成CUDA内核性能超越o3和o4-mini [3] - 在KernelBench数据集上平均正确率达65%，解决89%的任务，测试中实现1 41倍加速比 [3] - 在二级任务上表现尤为突出，达到1 74倍加速，显著优于其他模型 [3] 学生免费计划 - Cursor Pro和Gemini Pro向学生免费开放一年完整专业版使用权限，可节省约2000元人民币 [4][5] - 此举旨在争夺未来用户市场，通过培养学生使用习惯提前布局市场份额 [4] - 申请渠道已开放，Gemini Pro将在2025年8月重新验证学生身份 [5] 腾讯元宝功能升级 - 推出对话分组功能，支持按主题创建文件夹和历史对话归类整理 [6] - 每个分组可设置独立提示词指令，定制专属语气风格和任务目标 [6] - 全平台上线文生图功能，支持混元和DeepSeek模型生成图片，增强图文一致性和画质 [7] AI科研应用 - Anthropic启动AI for Science计划，提供最高2万美元API积分支持生物系统、遗传数据、药物研发等领域研究 [8] - 开放所有Claude系列模型，重点推动AI在科学研究的突破性应用 [8] 机器人大模型 - 清华ISRLab与星动纪元联合开发AIGC机器人大模型VPP，获ICML2025 Spotlight并全部开源 [9][10] - 在Calvin ABC-D基准测试中实现4 33平均任务完成长度，超越先前技术41 5% [10] - 支持跨本体学习，可完成100+种灵巧操作任务，具有较强可解释性和调试能力 [10] AI社会影响 - 专家警告AI正在经济、文化和社交领域取代人类，可能导致人类失去对文明的控制 [11] - 建议采取跟踪AI影响、监管AI实验室、加强人类组织能力等措施应对 [11] 软件开发革新 - Bolt new从年收入70万美元快速增长至2000万美元ARR，主打基于浏览器的快速Web应用开发 [12] - 60-70%用户为非开发者，利用Web containers技术实现100毫秒内启动开发环境 [12] - 15人团队聚焦核心产品体验，通过免费试用实现病毒式增长 [12]

大家好， 我是小程程。 今天 AI 编程工具的资讯，除了上午已推送的 Google Gemini 刷爆 AI 编程榜 之外，还有两个比较大的消息。 据路透社报道，Windsurf 最近与投资者如 General Catalyst 和 Kleiner Perkins 讨论过以 30 亿美元估值融 资，2024 年 8 月其估值已达 12.5 亿美元。 5 月 7 日 Cursor 发推向学生搞活动了。 申请流程也不复杂， 传送门： https://www.cursor.com/en/students 这个会员垃圾平常是每月是 20 美刀，能薅就赶紧去薅吧。 对于现有 Pro 用户，验证通过后会自动退还剩余账单周期费用。 上午看到有国内网友申请成功了，但下午又有人网友反馈无法申请了，貌似已经从"国家列表"中移除中国了。 我没申请，所以没仔细研究，如果有成功申请的童鞋，请留言补充。 2、OpenAI 30 亿美元拟收购 Windsurf 5 月 7 日，据彭博社报道，OpenAI 正在讨论收购 Windsurf，交易金额约为 30 亿美元。消息来源为熟悉内情 但要求匿名的知情人士，交易条款尚未最终确定。 1、Cur ...