消息传来，知名AI初创公司Anys phe r e完成一轮9亿美元融资（约合人民币6 5亿元），估 值达9 0亿美元（约合人民币650亿元），成为今年最火AI编程独角兽。 而掌舵公司的，是四位年轻面孔。20 22年，刚刚从麻省理工学院毕业的Mi c ha e l Tr u e ll 和他三位同学一拍即合，瞄准AI编程赛道下场创业，旗下产品Cu rs or一举改变了编程方 式，迅速席卷硅谷AI圈。 初生牛犊不怕虎。悄然间，0 0后创始人开始纷纷站到AI风口上，崭露头角。虽然担忧估 值泡沫的声音此起彼伏，但目之所及，海外AI融资竞赛依旧轰轰烈烈。 四位MIT学生 缔造一个超级独角兽 Any s p h e r e背后是四位00后。 出 生 于 2 0 0 0 年 ， Mi c ha e l Tr u e ll 从 小 热 爱 编 程 ， 高 中 时 与 朋 友 共 同 创 办 编 程 竞 赛 平 台 Ha lit e，在学生中风靡一时，并凭此获得ACM/CSTA Cutl e r-Be ll奖，这是年轻程序员获 得的最高奖项之一。 1 8岁那年，Mi c ha e l考入麻省理工学院，就读计算机和数学专业。除了在 ...

3.【AWS神秘AI编程工具曝光！支持多模态交互，生成代码"近乎实时"】据外媒Business Insider独家报 道，亚马逊云科技（AWS）正在秘密开发一款代号为"Kiro"的AI编程工具。该工具通过多模态界面与AI Agent协同，旨在实现"近乎实时"的生成代码，重构软件开发流程。 Kiro的核心亮点在于多模态交互能力：其内置的AI Agent可实时调用知识库、第三方插件及主题工具，结 合用户业务场景与技术框架生成代码；覆盖从技术设计文档自动生成、实时代码编写到漏洞检测的全流 程，并支持Stripe支付接口集成、云服务配置等"一键式"开发功能；Kiro还能自动生成技术设计文档、标 记潜在问题，并通过集成第三方AI Agent提升适配性。若成功推出，Kiro或将颠覆传统编程模式，直面微 软Copilot、谷歌等巨头的竞争，并进一步加剧AI编程工具市场的竞争。（搜狐） 4.【OpenAI ChatGPT推首个深度研究连接器，可AI洞察GitHub代码库】报道称OpenAI推出了ChatGPT的 首个"深度研究连接器"（deep research connector），实现与GitHub的深度整合。开发者现在 ...

但是这也带来一个问题：这些AI生成的代码靠谱么，能够用到生产环境中么，一旦发生了问题，该怎么办？ 一家叫Lightrun的公司试图解决这个问题，它们推出了一款基于AI的软件可观测和调试工具，名为Runtime Autonomous AI Debugger，这个工具能够在集成 开发环境（IDE）中精确定位导致问题的代码行，还会提供代码修复建议，帮助开发者把Debug的时间从以往的几天，几小时，缩短到几分钟。 Lightrun的核心团队 近日，Lightrun完成由Accel和Insight Partners领投的7000万美元B轮融资, 花旗集团、Glilot Capital、GTM Capital和Sorenson Capital亦参与了本轮融资。此轮 融资后，该公司融资总额已达1.1亿美元。 AI软件可观测和调试工具，让Debug从"事后诸葛亮"到"未雨绸缪" AI编程的浪潮到了2025年仍然没有停息。最近，OpenAI拟以30亿美元价格收购AI编程助手初创公司 Windsurf的消息闹得沸沸扬扬， Cursor的母公司 Anysphere也获得9亿美元的巨额融资，估值达到 90亿美元。 Anthropic ...

AI编程创业公司，正在排队融资。 "氛围编程"独角兽 收入与估值齐飞 近日，AI编程神器Cursor的开发公司Anysphere已完成新一轮融资，推动估值达到约90亿美元（约合650 亿元人民币），较年初暴涨逾3倍。据悉，本轮融资由知名风投公司Thrive Capital领投，Andreessen Horowitz和Accel参投。 Cursor作为AI编程领域的头部明星公司，其融资的最新进展也是赛道火热的一个缩影。今日，外媒报道 称OpenAI已同意以30亿美元（约合217亿人民币）巨资收购AI编程公司Windsurf。此外，投资者近期也 一直在接触另外一家AI编程公司Poolside。当前，无论是谷歌、微软等硅谷巨头，还是OpenAI、 Anthropic等创业公司，都押注AI编程，将其视为AI应用落地最重要的方向之一。 Anysphere自成立以来就受到资本的热烈追捧。去年12 月，Anysphere获得1亿美元融资，估值达到约25 亿美元。近日，Anysphere完成新一轮融资，推动估值达到约90亿美元（约合650亿元人民币），较年初 暴涨逾3倍。 Cursor是当前最受程序员欢迎的一款AI编程神器， ...

图片来源： Unblocked Unblocked 的客户包括 Drata 、 AppDirect 、 Big Cartel 和 TravelPerk 等公司。 Pilarinos 称， Drata 的工程师使用 Unblocked 平台每周能节省一到两小时。Unblocked 于周二宣布完成由 B Capital 和 Radical Ventures 领投的 2000 万美元 A 轮融资。 每位开发者都有自己独特的编码风格。尽管公司制定了最佳实践并编写了文档，开发者要理解他人的 代码库仍非易事。 为解决这一问题， Dennis Pilarinos 开发了一款名为 Unblocked 的工具——这是一款 AI 驱动的助 手，能针对代码行回答上下文相关问题。 Pilarinos 是开发工具领域的资深专家，曾担任微软和亚马逊的董事，参与 Azure 和亚马逊云服务的开 发。此后，他创建了面向远程团队的持续集成平台 Buddybuild ， 该平台于 2018 年被苹果收购，随 后他在苹果工作了约两年，致力于 Xcode Cloud 平台。 "开发者获取所需信息的过程相当痛苦且耗时，" Pilarinos 在电话采 ...

五一假期刚结束，OpenAI 又搞出了两个大新闻。 北京时间 5 月 6 日凌晨，OpenAI 宣布放弃营利性转型，公司将继续作为一家监督和控制营利性组织的非营利组织，同时原本组织下的营利性有限责任公司 将转型为具有相同使命的「公益公司」（简称 PBC，仍可以是营利性公司）。 与此同时，根据彭博社 5 月 6 日上午报道，OpenAI 已同意以约 30 亿美元（约合人民币 218 亿）收购 AI 编程助手开发商 Windsurf。如果说「组织结构转 型」的影响主要是中长期的，那这件事则不仅可能影响 OpenAI 的未来，还有现在。 鲸吞Windsurf，OpenAI意欲何为？ 事实上，在生成式 AI 落地的众多方向上，AI 编程一直是比较特别的一个，甚至被视为生成式 AI 第一个杀手级应用场景，这不仅在于 AI 编程的「源头造 水」，也在于程序员群体对于新技术的敏感和拥抱。 按照微软今年公布的数据，GitHub Copilot 的用户已经超过了 1500 万，比去年增长了 4 倍。另外根据微软去年 7 月财报中披露，GitHub Copilot 的年化经常 性收入（ARR）达到 3 亿美元，占 GitHub ...

智东西5月6日消息，据英国《金融时报》昨日报道，AI编程神器Cursor的母公司Anysphere已完成一轮9亿美元（约合人民币约65亿元）融资，估值增长两 倍多，达到约90亿美元（约合人民币约654亿元）。 知情人士透露，这轮融资由OpenAI的投资方Thrive Capital领投，a16z、Accel等风投公司参投。 Cursor可以帮助开发者用自然语言发出指令，完成生成代码、查错修复、知识问答等任务，一举改变了编程学习方式。这一工具获得多位大神盛赞， OpenAI联合创始人、前特斯拉AI总监安德烈·卡帕西（Andrej Karpathy）称Cursor的体验已经碾压式地超过了GitHub Copilot，谷歌开发者负责人Logan Kilpatrick被Cursor的强大能力惊呆…… Cursor的客户包含OpenAI、Midjourney等知名企业，目前已有约3万名客户。今年1月，Anysphere筹集了1.05亿美元（约合人民币约7.6亿元），自这轮融资 完成后，其年度经常性收入迅速增长，今年4月份增至约2亿美元（约合人民币约15亿元），使其成为有史以来增长最快的软件公司之一。 当下，AI在编程领 ...

图片来源： Cursor AI Anysphere 成立于 2022 年，由四位20多岁的 MIT 数学与计算机科学专业学生共同创办。今年1月，公司曾以 25亿美元估值 完成1.05亿美元融资，当时投资 方亦包括 Thrive 和 Andreessen Horowitz。 此次估值大幅提升，主要得益于其年度经常性收入（ARR）的快速增长：截至4月，ARR 已达到 2亿美元 ，使其成为软件行业增长最快的公司之一。 不过，如此激进的估值提升也再度引发部分投资者对 AI 公司估值可持续性的担忧，尤其是在近期二级市场波动背景下。 此前 OpenAI 的估值在3月飙升至 2600 亿美元 ，软银还承诺将牵头对其进行 400 亿美元 投资。 与此同时，两家由 OpenAI 前高管创立的初创公司也在筹备大额融资：Ilya Sutskever 创办的 Safe Superintelligence（SSI）已获得 300 亿美元估值。 Mira Murati 创立的 Thinking Machines Lab 正计划以 100 亿美元估值 融资 20 亿美元 。 两家公司目前尚未推出正式产品。 Cursor 因其 AI 编程工 ...

图片来源： Anthropic 据彭博社报道，苹果与 Anthropic 正联手打造一款"氛围编程"软件平台，该平台将利用生成式 AI 为 程序员编写、编辑和测试代码。 为加速 AI 布局，苹果似乎正在构建合作伙伴网络。 OpenAI 的 ChatGPT 已为其 Apple Intelligence 功能提供支持，苹果表示未来可能加入谷歌 Gemini 作为备选方案。 如今 Anthropic 或将协助苹果内 部代码编写。 在开发者群体中， Anthropic 公司最新的 Claude 模型尤其受到编程任务的青睐，特别是在 Cursor 和 Windsurf 这类氛围编程平台上。 参考资料 https://techcrunch.com/2025/05/02/apple-and-anthropic-reportedly-partner-to-build-an-ai-coding-platform/ 我们正在招募新一期的实习生 -----------END----------- 报道指出， iPhone 制造商计划内部推出该软件，但尚未决定是否公开上市 。该系统是苹果编程软件 Xcode 的新版本，并依赖于 An ...

机器之心报道 编辑：大盘鸡、泽南 DeepSeek R2 的前奏？ 五一劳动节到了，DeepSeek 的新消息可没停下来。 前些天到处都在流传着 DeepSeek-R2 即将发布的传言，DeepSeek 确实有新动作，不过大家没等来 R2，等来的是 DeepSeek-Prover-V2，它当然也是 开源的。 Prover-V2 在定理证明赛道上实现了业内最佳性能，在 MiniF2F 测试中达到了 88.9% 的通过率，在 AIME 24、25 上也有不错的分数。 在 4 月 30 日晚，机器学习协作平台 HuggingFace 上就更新了 DeepSeek-Prover-V2 的一些技术细节。 | Models | | --- | 其中，DeepSeek-Prover-V2-671B 是在 DeepSeek-V3-Base 基础上训练而成，而 DeepSeek-Prover-V2-7B 则基于 DeepSeek-Prover-V1.5- Base 构建，并支持最长 32K tokens 的上下文长度扩展。 要一句话总结 DeepSeek-Prover-V2 到底是什么？ 它是一款专为「数学 AI 编程语言」L ...