作者 | XuuShan ，編輯｜Evan
出走半生，天才少年歸來仍選擇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等一眾玩家競爭？
出走OpenAI，AI程式設計老兵再創業
曾靠GPT-2賺取第一桶金
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曾在接受採訪時說。
Same Energy搜尋引擎
站在2024年的節點回望，無論是AI程式碼補充工具還是AI搜尋引擎，Jackson無疑都押中了生成式AI未來重要的兩大發展方向。但可惜的是，這兩大方向，Jackson都並未堅持下去。據調查，Same Energy一直在試執行階段，並未實現商業化，其官網也早已不再繼續執行。
近年來，Jackson看到ChatGPT和GitHub Copilot等工具已經改變了開發人員的工作方式。“現在的AI程式設計工具真是令人興奮，自從我創辦Tabnine以來，大模型底層技術已經有了很大的改進，更多的開發人員開始使用AI 工具加速他們的工作流程。”看到這一轉變後，Jackson又創辦了Supermaven，打造與Tabnine相類似的AI編碼平臺，但提升了程式碼質量和底層技術。
“隨著AI系統變得更加智慧，我們會創造一些新的應用，推動技術進步。我認為人工智慧將創造巨大的經濟價值。”Jackson提到這也自己再次回到AI程式設計賽道創業的原因。他認為，與其擔心AI取代軟體開發人員，使用者不如利用AI技術優勢提高工作效率，同時人類保留重要問題的決策權。
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秒時間，呼叫開發人員的程式碼儲存庫。”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創業者湧入程式設計賽道
機遇與風險並存
現在的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程式設計賽道內並未有哪家創企佔據絕對優勢，各方競爭還在繼續。
文末互動：
你用過Supermaven嗎？你最喜歡的AI程式設計工具是什麼？
歡迎在評論區和我們分享你的看法哦～
別忘了點關注，不迷路啊。
👇👇👇
Get Rich
點贊+在看，搞錢穩賺！
