出走半生,天才少年归来仍选择AI。
Open AI正成为继谷歌之后,AI界新的“黄埔军校”。
Jacob Jackson,OpenAI的前员工,在2024年2月创立AI编程公司Supermaven近日宣布完成1200万美元的A轮融资,本轮融资由Bessemer Venture Partners领投,OpenAI联合创始人John Schulman和Perplexity联合创始人Denis Yarats参与跟投。他也是诸多OpenAI员工出走创业的一员。
目前团队共有5名团队成员。这是Jackson创办的第二家AI编程公司,此前他曾是两届IOI(国际信息学奥林匹克竞赛)金牌得主,在大学期间创办了AI编程平台Tabnine,该公司2019年年底被AI编码Codata收购。
Supermaven宣布融资之时,硅谷正在掀起AI编程的投资高潮,这被视为是AI应用中最快商业化的赛道。据硅兔君不完全统计,2024年迄今为止,共有6家AI编程创企获得11.07美元融资。Cognition、Augment、Magic均在今年获得两轮融资,且估值均在10亿美元上下。
Supermaven之所以能获得硅谷的青睐,在于其速度之快、功能之强大。该公司旗下同名AI编程平台Supermaven,支持100万token上下文窗口,能够理解大量的代码,并能保持长时间的响应。
据了解,如今Supermaven已经拥有超过35000名开发人员用户,代码编辑器Supermaven VS Code拥有超过10万次下载量,年度经常性收入(annual recurring revenue,ARR)达到了100万美元。
作为AI编程赛道的老玩家的Jackson再次投身入局,他是如何看待高速发展的AI编程赛道?Supermaven又凭借哪些优势和Magic、Replit等一众玩家竞争?
Jacob Jackson是硅谷第一批意识到GPT模型将改变代码编写流程的人,也见证了AI编程赛道由冷转热的全过程。Jacob Jackson创业的第一桶金,正是来自GPT。2018年,OpenAI所采用的“预测下一个词”的Transformer架构尚未体现出智能的涌现。滑铁卢大学计算机专业大四生Jackson便意识到OpenAI旗下GPT-2大模型在补全代码方面具有巨大的潜力。Jackson和同伴仅花了9个月时间,借助GPT-2的Transformer架构打造了自己的首个代码编程补全工具Deep TabNine。程序员们可以将Deep TabNine作为插件安装在代码编辑器中。当程序员写代码时,TabNine会给出下一行代码建议。Deep TabNine一上线,就凭借着包含23种主流编程语言,适应5种编辑器以及提供高质量的代码提示震惊业内。TabNine创始团队合影 Jacob Jackson居左四不少网友曾提到TabNine是他们用过的最好的代码补全工具,属于程序员的“杀手级应用”。几个月时间内,该应用在VS Code插件市场拥有三十万的下载量,在新代码类型插件里表现不错。当时的TabNine已经拥有商业化落地的苗头——例如其规定,用户代码提示量超过400KB则需要付费,其中个人用户49美元,商业用户99美元。TabNine还贴心地为PC端用户提供TabNine Cloud云服务器功能。截至收购前,TabNine也获得了近6000万美元的风险投资。TabNine的成功也为他二次投身AI编程赛道埋下了伏笔。2019年期末考试期间,Jackson将Tabnine卖给以色列AI软件公司Codata后,转而以实习生的身份进入OpenAI。Jackson在OpenAI工作到2020年,也是OpenAI的早期研究员之一。在OpenAI工作期间,Jackson主要负责大型语言模型的分布式训练。2020年左右,Jackson发现了生成式AI在搜索方面的潜力,于是他选择了离开OpenAI,打造了可视化搜索引擎Same Energy。该引擎支持以文搜文和以图搜图两种方式,比如说,用户输入一则笑话,然后选择来源推特,该搜索引擎就会出现推特上其他相似的笑话。同样,只要你输入一张图片,搜索引擎也会提供其他相似的图片。“AI搜索引擎融合更丰富的视觉理解,捕捉图片艺术风格和情绪。我们希望Same Energy能帮用户发掘新风格,提供更多灵感。”Jacob Jackson曾在接受采访时说。站在2024年的节点回望,无论是AI代码补充工具还是AI搜索引擎,Jackson无疑都押中了生成式AI未来重要的两大发展方向。但可惜的是,这两大方向,Jackson都并未坚持下去。据调查,Same Energy一直在试运行阶段,并未实现商业化,其官网也早已不再继续运行。近年来,Jackson看到ChatGPT和GitHub Copilot等工具已经改变了开发人员的工作方式。“现在的AI编程工具真是令人兴奋,自从我创办Tabnine以来,大模型底层技术已经有了很大的改进,更多的开发人员开始使用AI 工具加速他们的工作流程。”看到这一转变后,Jackson又创办了Supermaven,打造与Tabnine相类似的AI编码平台,但提升了代码质量和底层技术。“随着AI系统变得更加智能,我们会创造一些新的应用,推动技术进步。我认为人工智能将创造巨大的经济价值。”Jackson提到这也自己再次回到AI编程赛道创业的原因。他认为,与其担心AI取代软件开发人员,用户不如利用AI技术优势提高工作效率,同时人类保留重要问题的决策权。在大模型迭代快速的今天,能迅速跟进的创业公司率先享受红利。9月13日,Open AI发布了新的大模型o1,展现了更为强的复杂推理的能力。Supermaven随后就在编辑器聊天工具Supermaven Chat中提供o1系列模型选秀,开发人员可以通过Supermaven Chat调用o1-preview和o1-mini、Claude 3.5 Sonnet等模型编写代码。Supermaven在处理大型代码库时,能保持长时间持续响应。该平台还以低延迟、程序响应速度快,备受工程师们喜爱。“Supermaven仅需要10秒-20秒时间,调用开发人员的代码存储库。”Jackson提到该平台技术底层基石是自研生成AI模型Babble,基于新的神经网络架构,平台可以同时理解大量代码。“Supermaven是市场上速度最快、功能最强大的AI编码助手。”当谈及新一轮融资的用处,Jackson表示,将用于Supermaven新产品:文本编辑器。目前该编辑器处于测试阶段,可以加速日常任务并帮助开发老手们快速浏览和编辑大型代码库。开发人员可以使用Supermaven的端到端构建、测试和交付产品。Supermaven采用自研语言模型Babble,专门对内联代码补全进行优化。“我们内部模型和服务基础设施,可以提供最快的补全速度和所有AI代码助手Copilot中最长的上下文窗口。”Jackson说。Supermaven基于Babble模型在密集检索方面性能提升
Supermaven是目前AI编程初创企业中,第一个提供 “下一个位置预测”的代码补全工具。该工具可以跳转到代码中的位置,根据上下文建议更改。并且,Supermaven现已支持所有集成开发环境(IntelliJ、PyCharm、WebStorm等)。现阶段,Supermaven平台现提供免费版、高级Pro用户订阅、企业级Team三类商业模式。Jackson提到,Supermaven今年年度经常性收入(annual recurring revenue,ARR)达到了100万美元。“我们计划在今年年底前实现大幅增长,”他补充道。“尽管科技行业整体环境面临阻力,但AI编码市场增长迅速。”
现在的AI编程赛道,早已不是Jackson刚入局时的行业环境了。Polaris Research曾预测,到2032年AI编程市场空间将达到271.7亿美元。最新调查显示,已经有180万用户以及77000家企业正在使用GitHub Copilot,GitHub Copilot的ARR达到1亿美元。越来越多工程师将AI编程纳入工作流程内。“随着AI技术的发展,编程不再是每个人都必须掌握的关键技能。AI的奇迹在于它可以让每个人都成为程序员。”英伟达CEO黄仁勋说道。为了让更多的人都能成为程序员,无论是谷歌、OpenAI、微软等生成式AI创企巨头,还是Cognition、Anysphere、Poolside等明星AI创企,均在AI编程赛道“卷起来了”。现阶段,AI编程工具可简单分为两大类:一类是AI代码补全工具,如Supermaven,另一类是可以根据需求自主完成程序编写的AI Agent,例如Replit Agent。但是,部分用户提到现有AI编程助手/工具提供代码质量并不高。同时,有不少大公司仍对AI编程持有谨慎的态度,他们担心AI编程工具泄露自己的机密数据。有些AI编程工具提供的代码质量比较差,容易造成错误以及系统漏洞。苹果公司就曾命令禁止Copilot等AI代码助手,担心影响系统稳定性。Jackson提到Supermaven不会使用客户数据来训练其模型。但他也提到公司会保留数据一周,以“使系统快速响应”。
另一方面,据硅兔君分析,目前程序员正在Replit Agent、Cognition、Cursor等不同平台中选择自己的AI编程伙伴,但整体付费用户占总体用户数仍较低,且用户迁移的成本也比较低。同时,不同的底层模型也会拉开玩家们之间的代码编程能力。据观察,多数代码工具是基于OpenAI、微软、谷歌的大模型进行微调。这类代码工具可以快速理解多种语言结构和模式,提供更通用的解决方案,并且随着大模型的升级,性能有明显的卓越提升,但面向一些特定场景或者需求,代码工具往往难以及时响应。而少数如Supermaven这类从底层搭建模型的代码工具,则可以在特定场景提供更快的创新速度和更灵活的改进策略,并且提供更高程度的定制化,以适应特定的编程环境和开发者的工作流程。迄今为止,AI编程赛道内并未有哪家创企占据绝对优势,各方竞争还在继续。你用过Supermaven吗?你最喜欢的AI编程工具是什么?