a16z合夥人Martin Casado宣佈聯手TypeSafe推進Jev
Martin Casado在公開帖中表示軟件時代遠未結束，並宣佈與TypeSafe團隊深度合作以提升軟件質量，強調長期看好開發者、編程與Jev模型。
Casado爲Andreessen Horowitz基礎設施業務負責人，此次合作對應a16z領投TypeSafe的Series A融資，金額約8.7億美元，估值75億美元，Casado將加入董事會，Sequoia與DCVC跟投。TypeSafe由Diogo Almeida（前OpenAI研究員、RLHF與ChatGPT共同創建者）與Sasha Sheng、Erik Gafni於2024年創立，此前已完成DCVC領投的4000萬美元種子輪，估值2億美元。
Jev於9月15日推出，定位爲System One模型，專爲軟件內部決策設計：接收非結構化狀態與類型化問題（Choice、Score、Noul），直接返回帶概率與置信度的結構化值，而非生成文本。公司宣稱端到端延遲70至500毫秒，輸入價格約每百萬token 0.042美元且輸出免費，較前沿LLM在決策任務上快20至200倍、便宜40至400倍。
推出後採用極速：三天內處理1萬億token，日服務量達數萬億token，約29.4%的Fortune 500企業接入，部分報告稱七天內年化收入運行率達1億美元，併成爲Vercel AI Gateway歷史上採納最快的模型。TypeSafe稱已爲客戶節省數百萬美元生產成本，並計劃擴展更多機器原生模型與企業功能。
Casado在a16z公告中指出，真正經濟解鎖在於將最新模型智能以符合傳統軟件經濟的性能與成本原生嵌入所有軟件，Jev實現了這一目標，並稱之爲“Jevons悖論”——智能足夠廉價後會被無處不在地調用。公司強調AI應強化軟件而非僅僅自動化複製現有軟件。
事件驅動下資本大量湧入決策型AI基礎設施，a16z與Sequoia等機構領投標誌着資金從純生成式模型向可組合、類型安全的軟件原語傾斜；開發者與依賴可靠自動化的SaaS企業短期受益於更低延遲與成本，而傳統高成本LLM在重複判斷場景面臨定價與用量壓力。
來源：公開信息
ABAB AI 解讀
Martin Casado早期在斯坦福推動OpenFlow與軟件定義網絡，聯合創立Nicira並於2012年被VMware以12.6億美元收購，後將網絡與安全業務擴展至6億美元年化收入，2016年加入a16z後專注基礎設施投資，涵蓋Cursor、Convex等AI開發工具。他長期主張計算機科學基礎優於框架堆疊，並公開批評軟件項目長期超支與延遲問題。
資本路徑上，a16z將大規模資金注入TypeSafe，把Jev定位爲可被代碼直接消費的智能原語，動機是將智能從人類對話接口轉向軟件內部調用，從而在邊際成本趨近於零的時代重新錨定軟件經濟學。資源從模型訓練算力向決策校準、類型安全與並行調用基礎設施轉移。
這類似於當年SDN將網絡控制從專有硬件抽象爲可編程軟件，也接近數據庫或操作系統原語對應用層的賦能；當前AI產業正從以生成式文本爲中心的擴張階段，轉向以可組合決策原語爲核心的控制與嵌入階段，TypeSafe試圖佔據軟件內部判斷層的標準位置。
本質屬於技術替代：生成式LLM在需要結構化、可審計、低延遲的決策場景中被類型化概率模型部分替代，機制在於文本輸出需額外解析且成本高昂，而直接返回類型化值消除了解析層並支持並行調用，從而把智能從昂貴的對話商品轉化爲可像函數一樣調用的軟件基礎設施，推動產業鏈從模型中心向原語與組合中心重構。
ABAB News · 認知定律
智能變便宜後，會從對話變成函數。
軟件的瓶頸從寫代碼轉向做決策。
類型安全是把幻覺關進籠子的鎖。