文 | 硅兔賽跑 XuuShan
編輯 | Evan
Open AI正成為繼谷歌之后，AI界新的“黃埔軍校”。
Jacob Jackson，OpenAI的前員工，在2024年2月創(chuàng)立AI編程公司Supermaven近日宣布完成1200萬美元的A輪融資，本輪融資由Bessemer Venture Partners領(lǐng)投，OpenAI聯(lián)合創(chuàng)始人John Schulman和Perplexity聯(lián)合創(chuàng)始人Denis Yarats參與跟投。他也是諸多OpenAI員工出走創(chuàng)業(yè)的一員。
目前團(tuán)隊(duì)共有5名團(tuán)隊(duì)成員。這是Jackson創(chuàng)辦的第二家AI編程公司，此前他曾是兩屆IOI（國際信息學(xué)奧林匹克競賽）金牌得主，在大學(xué)期間創(chuàng)辦了AI編程平臺Tabnine，該公司2019年年底被AI編碼Codata收購。
Supermaven宣布融資之時，硅谷正在掀起AI編程的投資高潮，這被視為是AI應(yīng)用中最快商業(yè)化的賽道。據(jù)硅兔君不完全統(tǒng)計，2024年迄今為止，共有6家AI編程創(chuàng)企獲得11.07美元融資。Cognition、Augment、Magic均在今年獲得兩輪融資，且估值均在10億美元上下。
Supermaven之所以能獲得硅谷的青睞，在于其速度之快、功能之強(qiáng)大。該公司旗下同名AI編程平臺Supermaven，支持100萬token上下文窗口，能夠理解大量的代碼，并能保持長時間的響應(yīng)。
據(jù)了解，如今Supermaven已經(jīng)擁有超過35000名開發(fā)人員用戶，代碼編輯器Supermaven VS Code擁有超過10萬次下載量，年度經(jīng)常性收入（annual recurring revenue，ARR）達(dá)到了100萬美元。
作為AI編程賽道的老玩家的Jackson再次投身入局，他是如何看待高速發(fā)展的AI編程賽道？Supermaven又憑借哪些優(yōu)勢和Magic、Replit等一眾玩家競爭？
01 出走OpenAI，AI編程老兵再創(chuàng)業(yè)，曾靠GPT-2賺取第一桶金
Jacob Jackson是硅谷第一批意識到GPT模型將改變代碼編寫流程的人，也見證了AI編程賽道由冷轉(zhuǎn)熱的全過程。Jacob Jackson創(chuàng)業(yè)的第一桶金，正是來自GPT。
2018年，OpenAI所采用的“預(yù)測下一個詞”的Transformer架構(gòu)尚未體現(xiàn)出智能的涌現(xiàn)?；F盧大學(xué)計算機(jī)專業(yè)大四生Jackson便意識到OpenAI旗下GPT-2大模型在補(bǔ)全代碼方面具有巨大的潛力。Jackson和同伴僅花了9個月時間，借助GPT-2的Transformer架構(gòu)打造了自己的首個代碼編程補(bǔ)全工具Deep TabNine。
程序員們可以將Deep TabNine作為插件安裝在代碼編輯器中。當(dāng)程序員寫代碼時，TabNine會給出下一行代碼建議。Deep TabNine一上線，就憑借著包含23種主流編程語言，適應(yīng)5種編輯器以及提供高質(zhì)量的代碼提示震驚業(yè)內(nèi)。
TabNine創(chuàng)始團(tuán)隊(duì)合影 Jacob Jackson居左四
不少網(wǎng)友曾提到TabNine是他們用過的最好的代碼補(bǔ)全工具，屬于程序員的“殺手級應(yīng)用”。幾個月時間內(nèi)，該應(yīng)用在VS Code插件市場擁有三十萬的下載量，在新代碼類型插件里表現(xiàn)不錯。
當(dāng)時的TabNine已經(jīng)擁有商業(yè)化落地的苗頭——例如其規(guī)定，用戶代碼提示量超過400KB則需要付費(fèi)，其中個人用戶49美元，商業(yè)用戶99美元。TabNine還貼心地為PC端用戶提供TabNine Cloud云服務(wù)器功能。截至收購前，TabNine也獲得了近6000萬美元的風(fēng)險投資。
TabNine的成功也為他二次投身AI編程賽道埋下了伏筆。
2019年期末考試期間，Jackson將Tabnine賣給以色列AI軟件公司Codata后，轉(zhuǎn)而以實(shí)習(xí)生的身份進(jìn)入OpenAI。Jackson在OpenAI工作到2020年，也是OpenAI的早期研究員之一。
在OpenAI工作期間，Jackson主要負(fù)責(zé)大型語言模型的分布式訓(xùn)練。2020年左右，Jackson發(fā)現(xiàn)了生成式AI在搜索方面的潛力，于是他選擇了離開OpenAI，打造了可視化搜索引擎Same Energy。
該引擎支持以文搜文和以圖搜圖兩種方式，比如說，用戶輸入一則笑話，然后選擇來源推特，該搜索引擎就會出現(xiàn)推特上其他相似的笑話。同樣，只要你輸入一張圖片，搜索引擎也會提供其他相似的圖片。
“AI搜索引擎融合更豐富的視覺理解，捕捉圖片藝術(shù)風(fēng)格和情緒。我們希望Same Energy能幫用戶發(fā)掘新風(fēng)格，提供更多靈感。”Jacob Jackson曾在接受采訪時說。
Same Energy搜索引擎
站在2024年的節(jié)點(diǎn)回望，無論是AI代碼補(bǔ)充工具還是AI搜索引擎，Jackson無疑都押中了生成式AI未來重要的兩大發(fā)展方向。但可惜的是，這兩大方向，Jackson都并未堅持下去。據(jù)調(diào)查，Same Energy一直在試運(yùn)行階段，并未實(shí)現(xiàn)商業(yè)化，其官網(wǎng)也早已不再繼續(xù)運(yùn)行。
近年來，Jackson看到ChatGPT和GitHub Copilot等工具已經(jīng)改變了開發(fā)人員的工作方式?！艾F(xiàn)在的AI編程工具真是令人興奮，自從我創(chuàng)辦Tabnine以來，大模型底層技術(shù)已經(jīng)有了很大的改進(jìn)，更多的開發(fā)人員開始使用AI 工具加速他們的工作流程?！笨吹竭@一轉(zhuǎn)變后，Jackson又創(chuàng)辦了Supermaven，打造與Tabnine相類似的AI編碼平臺，但提升了代碼質(zhì)量和底層技術(shù)。
“隨著AI系統(tǒng)變得更加智能，我們會創(chuàng)造一些新的應(yīng)用，推動技術(shù)進(jìn)步。我認(rèn)為人工智能將創(chuàng)造巨大的經(jīng)濟(jì)價值?！盝ackson提到這也自己再次回到AI編程賽道創(chuàng)業(yè)的原因。他認(rèn)為，與其擔(dān)心AI取代軟件開發(fā)人員，用戶不如利用AI技術(shù)優(yōu)勢提高工作效率，同時人類保留重要問題的決策權(quán)。
02 Supermaven Chat適配o1模型，新融資用于文本編輯器開發(fā)
在大模型迭代快速的今天，能迅速跟進(jìn)的創(chuàng)業(yè)公司率先享受紅利。
9月13日，Open AI發(fā)布了新的大模型o1，展現(xiàn)了更為強(qiáng)的復(fù)雜推理的能力。
Supermaven隨后就在編輯器聊天工具Supermaven Chat中提供o1系列模型選秀，開發(fā)人員可以通過Supermaven Chat調(diào)用o1-preview和o1-mini、Claude 3.5 Sonnet等模型編寫代碼。
Supermaven在處理大型代碼庫時，能保持長時間持續(xù)響應(yīng)。該平臺還以低延遲、程序響應(yīng)速度快，備受工程師們喜愛。
“Supermaven僅需要10秒-20秒時間，調(diào)用開發(fā)人員的代碼存儲庫。”Jackson提到該平臺技術(shù)底層基石是自研生成AI模型Babble，基于新的神經(jīng)網(wǎng)絡(luò)架構(gòu)，平臺可以同時理解大量代碼?！癝upermaven是市場上速度最快、功能最強(qiáng)大的AI編碼助手?！?/p>
當(dāng)談及新一輪融資的用處，Jackson表示，將用于Supermaven新產(chǎn)品：文本編輯器。
目前該編輯器處于測試階段，可以加速日常任務(wù)并幫助開發(fā)老手們快速瀏覽和編輯大型代碼庫。開發(fā)人員可以使用Supermaven的端到端構(gòu)建、測試和交付產(chǎn)品。
Supermaven采用自研語言模型Babble，專門對內(nèi)聯(lián)代碼補(bǔ)全進(jìn)行優(yōu)化?！拔覀儍?nèi)部模型和服務(wù)基礎(chǔ)設(shè)施，可以提供最快的補(bǔ)全速度和所有AI代碼助手Copilot中最長的上下文窗口?！盝ackson說。
Supermaven基于Babble模型在密集檢索方面性能提升
Supermaven是目前AI編程初創(chuàng)企業(yè)中，第一個提供“下一個位置預(yù)測”的代碼補(bǔ)全工具。該工具可以跳轉(zhuǎn)到代碼中的位置，根據(jù)上下文建議更改。并且，Supermaven現(xiàn)已支持所有集成開發(fā)環(huán)境（IntelliJ、PyCharm、WebStorm等）。
現(xiàn)階段，Supermaven平臺現(xiàn)提供免費(fèi)版、高級Pro用戶訂閱、企業(yè)級Team三類商業(yè)模式。Jackson提到，Supermaven今年年度經(jīng)常性收入（annual recurring revenue，ARR）達(dá)到了100萬美元?！拔覀冇媱澰诮衲昴甑浊皩?shí)現(xiàn)大幅增長，”他補(bǔ)充道。“盡管科技行業(yè)整體環(huán)境面臨阻力，但AI編碼市場增長迅速?！?/p>
03 AI創(chuàng)業(yè)者涌入編程賽道，機(jī)遇與風(fēng)險并存
現(xiàn)在的AI編程賽道，早已不是Jackson剛?cè)刖謺r的行業(yè)環(huán)境了。
Polaris Research曾預(yù)測，到2032年AI編程市場空間將達(dá)到271.7億美元。最新調(diào)查顯示，已經(jīng)有180萬用戶以及77000家企業(yè)正在使用GitHub Copilot，GitHub Copilot的ARR達(dá)到1億美元。越來越多工程師將AI編程納入工作流程內(nèi)。
“隨著AI技術(shù)的發(fā)展，編程不再是每個人都必須掌握的關(guān)鍵技能。AI的奇跡在于它可以讓每個人都成為程序員?！庇ミ_(dá)CEO黃仁勛說道。
為了讓更多的人都能成為程序員，無論是谷歌、OpenAI、微軟等生成式AI創(chuàng)企巨頭，還是Cognition、Anysphere、Poolside等明星AI創(chuàng)企，均在AI編程賽道“卷起來了”。
現(xiàn)階段，AI編程工具可簡單分為兩大類：一類是AI代碼補(bǔ)全工具，如Supermaven，另一類是可以根據(jù)需求自主完成程序編寫的AI Agent，例如Replit Agent。
圖源：Medium
但是，部分用戶提到現(xiàn)有AI編程助手/工具提供代碼質(zhì)量并不高。同時，有不少大公司仍對AI編程持有謹(jǐn)慎的態(tài)度，他們擔(dān)心AI編程工具泄露自己的機(jī)密數(shù)據(jù)。有些AI編程工具提供的代碼質(zhì)量比較差，容易造成錯誤以及系統(tǒng)漏洞。蘋果公司就曾命令禁止Copilot等AI代碼助手，擔(dān)心影響系統(tǒng)穩(wěn)定性。
Jackson提到Supermaven不會使用客戶數(shù)據(jù)來訓(xùn)練其模型。但他也提到公司會保留數(shù)據(jù)一周，以“使系統(tǒng)快速響應(yīng)”。
另一方面，據(jù)硅兔君分析，目前程序員正在Replit Agent、Cognition、Cursor等不同平臺中選擇自己的AI編程伙伴，但整體付費(fèi)用戶占總體用戶數(shù)仍較低，且用戶遷移的成本也比較低。
同時，不同的底層模型也會拉開玩家們之間的代碼編程能力。據(jù)觀察，多數(shù)代碼工具是基于OpenAI、微軟、谷歌的大模型進(jìn)行微調(diào)。這類代碼工具可以快速理解多種語言結(jié)構(gòu)和模式，提供更通用的解決方案，并且隨著大模型的升級，性能有明顯的卓越提升，但面向一些特定場景或者需求，代碼工具往往難以及時響應(yīng)。
而少數(shù)如Supermaven這類從底層搭建模型的代碼工具，則可以在特定場景提供更快的創(chuàng)新速度和更靈活的改進(jìn)策略，并且提供更高程度的定制化，以適應(yīng)特定的編程環(huán)境和開發(fā)者的工作流程。
迄今為止，AI編程賽道內(nèi)并未有哪家創(chuàng)企占據(jù)絕對優(yōu)勢，各方競爭還在繼續(xù)。