文 | 硅兔賽跑 XuuShan
編輯 | Evan
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等一眾玩家競爭？
01 出走OpenAI，AI編程老兵再創業，曾靠GPT-2賺取第一桶金
Jacob Jackson是硅谷第一批意識到GPT模型將改變代碼編寫流程的人，也見證了AI編程賽道由冷轉熱的全過程。Jacob Jackson創業的第一桶金，正是來自GPT。
2018年，OpenAI所采用的“預測下一個詞”的Transformer架構尚未體現出智能的涌現?；F盧大學計算機專業大四生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曾在接受采訪時說。
Same Energy搜索引擎
站在2024年的節點回望，無論是AI代碼補充工具還是AI搜索引擎，Jackson無疑都押中了生成式AI未來重要的兩大發展方向。但可惜的是，這兩大方向，Jackson都并未堅持下去。據調查，Same Energy一直在試運行階段，并未實現商業化，其官網也早已不再繼續運行。
近年來，Jackson看到ChatGPT和GitHub Copilot等工具已經改變了開發人員的工作方式。“現在的AI編程工具真是令人興奮，自從我創辦Tabnine以來，大模型底層技術已經有了很大的改進，更多的開發人員開始使用AI 工具加速他們的工作流程?！笨吹竭@一轉變后，Jackson又創辦了Supermaven，打造與Tabnine相類似的AI編碼平臺，但提升了代碼質量和底層技術。
“隨著AI系統變得更加智能，我們會創造一些新的應用，推動技術進步。我認為人工智能將創造巨大的經濟價值?！盝ackson提到這也自己再次回到AI編程賽道創業的原因。他認為，與其擔心AI取代軟件開發人員，用戶不如利用AI技術優勢提高工作效率，同時人類保留重要問題的決策權。
02 Supermaven Chat適配o1模型，新融資用于文本編輯器開發
在大模型迭代快速的今天，能迅速跟進的創業公司率先享受紅利。
9月13日，Open AI發布了新的大模型o1，展現了更為強的復雜推理的能力。
Supermaven隨后就在編輯器聊天工具Supermaven Chat中提供o1系列模型選秀，開發人員可以通過Supermaven Chat調用o1-preview和o1-mini、Claude 3.5 Sonnet等模型編寫代碼。
Supermaven在處理大型代碼庫時，能保持長時間持續響應。該平臺還以低延遲、程序響應速度快，備受工程師們喜愛。
“Supermaven僅需要10秒-20秒時間，調用開發人員的代碼存儲庫?！盝ackson提到該平臺技術底層基石是自研生成AI模型Babble，基于新的神經網絡架構，平臺可以同時理解大量代碼?！癝upermaven是市場上速度最快、功能最強大的AI編碼助手?！?/p>
當談及新一輪融資的用處，Jackson表示，將用于Supermaven新產品：文本編輯器。
目前該編輯器處于測試階段，可以加速日常任務并幫助開發老手們快速瀏覽和編輯大型代碼庫。開發人員可以使用Supermaven的端到端構建、測試和交付產品。
Supermaven采用自研語言模型Babble，專門對內聯代碼補全進行優化?！拔覀儍炔磕Ｐ秃头栈A設施，可以提供最快的補全速度和所有AI代碼助手Copilot中最長的上下文窗口?！盝ackson說。
Supermaven基于Babble模型在密集檢索方面性能提升
Supermaven是目前AI編程初創企業中，第一個提供“下一個位置預測”的代碼補全工具。該工具可以跳轉到代碼中的位置，根據上下文建議更改。并且，Supermaven現已支持所有集成開發環境（IntelliJ、PyCharm、WebStorm等）。
現階段，Supermaven平臺現提供免費版、高級Pro用戶訂閱、企業級Team三類商業模式。Jackson提到，Supermaven今年年度經常性收入（annual recurring revenue，ARR）達到了100萬美元?！拔覀冇媱澰诮衲昴甑浊皩崿F大幅增長，”他補充道?！氨M管科技行業整體環境面臨阻力，但AI編碼市場增長迅速?！?/p>
03 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。
圖源：Medium
但是，部分用戶提到現有AI編程助手/工具提供代碼質量并不高。同時，有不少大公司仍對AI編程持有謹慎的態度，他們擔心AI編程工具泄露自己的機密數據。有些AI編程工具提供的代碼質量比較差，容易造成錯誤以及系統漏洞。蘋果公司就曾命令禁止Copilot等AI代碼助手，擔心影響系統穩定性。
Jackson提到Supermaven不會使用客戶數據來訓練其模型。但他也提到公司會保留數據一周，以“使系統快速響應”。
另一方面，據硅兔君分析，目前程序員正在Replit Agent、Cognition、Cursor等不同平臺中選擇自己的AI編程伙伴，但整體付費用戶占總體用戶數仍較低，且用戶遷移的成本也比較低。
同時，不同的底層模型也會拉開玩家們之間的代碼編程能力。據觀察，多數代碼工具是基于OpenAI、微軟、谷歌的大模型進行微調。這類代碼工具可以快速理解多種語言結構和模式，提供更通用的解決方案，并且隨著大模型的升級，性能有明顯的卓越提升，但面向一些特定場景或者需求，代碼工具往往難以及時響應。
而少數如Supermaven這類從底層搭建模型的代碼工具，則可以在特定場景提供更快的創新速度和更靈活的改進策略，并且提供更高程度的定制化，以適應特定的編程環境和開發者的工作流程。
迄今為止，AI編程賽道內并未有哪家創企占據絕對優勢，各方競爭還在繼續。