TypeSafe AI

TypeSafe AI 於2024年由 Diogo Almeida 創立，Almeida 任首席執行官，聯合創始人為首席技術官 Erik Gafni 與首席運營官 Sasha ShengSasha ShengSasha Sheng 是軟件工程師和企業家，人工智能公司 TypeSafe AI 的聯合創始人兼首席運營官；她曾在 Yahoo 和 Facebook（Meta）從事移動應用與機器學習系統開發，離開 Meta 後曾多次贏得人工智能黑客松，2024年與 Diogo Almeida、Erik Gafni 共同創辦 TypeSafe AI。點擊查看完整詞條。Almeida 曾在 OpenAIOpenAIOpenAI是2015年創立的人工智能研究與產品機構，開發GPT系列模型、ChatGPT、Codex及開發者API，並開展圖像、語音、視頻與智能代理研究。2025年重組後，非營利的OpenAI Foundation繼續控制營利主體OpenAI Group PBC。其發展涉及大規模融資與算力合作，也伴隨治理、版權、隱私及人工智能安全爭議。點擊查看完整詞條 從事基於人類反饋的強化學習（RLHF）、InstructGPT、ChatGPTChatGPTChatGPT是OpenAI於2022年11月30日推出的生成式人工智能助手，通過網頁和應用提供對話、寫作、編程、搜索、文件分析及圖像和語音交互等服務。產品從免費研究預覽發展為面向個人、企業和教育機構的多種方案，並逐步增加深度研究、學習模式和跨應用任務執行能力。其應用也引發有關事實準確性、個人隱私、版權、教育及青少年安全的持續討論。點擊查看完整詞條 與 GPT-4 的研究；管理團隊的經歷涵蓋 OpenAI、Google Brain 與 Meta FAIR。⁠[1][2][2][3]

公司此後以隱身方式研發約兩年。Almeida 寫道，他在 OpenAI 時參與打造了讓語言模型善於遵循指令、與人對話的方法，但逐漸認為聊天模型缺少某種關鍵東西，促使他追問“聊天能力早已超越人類，自動化在哪裡”。⁠[4][4][4][4]

結束隱身前，公司在博客發表《The Bitterest Lesson》，在 Rich Sutton“苦澀的教訓”基礎上提出，機器學習中“選對任務”比數據、算力和算法更重要；次日又發表文章批評針對公開評測刷分（benchmaxxing）的做法。⁠[5][5][6][6]

2026年9月15日，TypeSafe AI 結束隱身運營，發佈首個 System One 模型 Jev，並以早期訪問名單方式開放；同時公佈由深科技風險投資機構 DCVC 領投的4000萬美元種子輪。知情人士給出的這一輪估值約為2億美元。⁠[4][4][4][7][1][3]

公司把 System One 模型定義為專為軟件內部決策而建的新一類模型：輸入非結構化的程序狀態，輸出事先定義好結構的類型化取值（如是否、從列表中選擇、按刻度打分），每個判斷附帶校準後的概率與置信度，開發者可據此設定何時自動執行、何時轉交人工複核。模型採用新架構、並行採樣器和名為“校準決策強化學習”（RLCD）的訓練方法，不生成字符串。⁠[8][1][8][4][4]

發佈時公司公佈的價格為每百萬輸入 token 0.042美元（每十億 token 42美元），輸出 token 不收費；端到端響應時間為70毫秒至500毫秒。公司稱在其工作流評測中，Jev 比對照語言模型快193.6倍、便宜444.6倍，並說明這些數字來自內部團隊編寫的工作流，可能偏向現實收益的高端；這些數字未經獨立驗證。⁠[4][4][4][4][1]

“System One”一名取自 Daniel Kahneman《思考，快與慢》中快速、直覺的“系統1”思維；Jev 一名取自經濟學家 William Stanley Jevons，公司預期機器智能會像蒸汽機效率提高後的煤炭一樣，成本下降反而帶來需求增加。⁠[4][4][4]

領投方 DCVC 的普通合夥人 James Hardiman 表示，TypeSafe 在應對“人工智能剩餘的最大挑戰之一”，即讓模型可靠到能大規模嵌入產品。⁠[1]

2026年9月28日，Andreessen Horowitz 發佈 Ben HorowitzBen HorowitzBen Horowitz 是美國企業家、風險投資者和商業作家，2009年與 Marc Andreessen 共同創辦 Andreessen Horowitz（a16z）。他此前領導 Loudcloud 向 Opsware 轉型，並在2007年將其出售給 Hewlett-Packard；其寫作與投資工作關注創業管理、組織文化及技術與文化產業的聯繫。點擊查看完整詞條、Martin CasadoMartin CasadoMartin Casado（馬丁·卡薩多）是計算機科學家、創業者及風險投資人，現任 Andreessen Horowitz 普通合夥人，負責基礎設施投資。他是軟件定義網絡的重要推動者，曾共同創辦 Nicira 並擔任首席技術官，在公司被 VMware 收購後負責網絡與安全業務；他也共同創辦公益組織 MuralNet。點擊查看完整詞條 與 Almeida 的播客對談。Almeida 在節目中認為，編程智能體讓人更快地寫軟件，但寫出的軟件運作方式與過去基本相同；TypeSafe 的做法是把智能放進軟件內部，讓程序能理解意圖並作出概率判斷。⁠[9][9][9]

2026年10月7日，公司發佈客戶案例：人才撮合平臺 Jack & Jill 在首次測試後10天內把候選人匹配流程中一個關鍵環節的調用全部從 Gemini 3.1 Flash Lite 換成 Jev；按公司披露，準確度持平，成本降低88%，完成時間縮短約50%，預計每年節省50萬美元。⁠[10][10][10][10]

2026年10月9日，TypeSafe AI 宣佈完成8.7億美元 A 輪融資，估值75億美元，由 Andreessen Horowitz 領投，Sequoia CapitalSequoia CapitalSequoia Capital是一家由Don Valentine於1972年創立的風險投資機構，投資範圍從種子期延伸至成長階段。其歷史投資包括Apple、Cisco、Google、YouTube、Airbnb和Stripe；2021年推出可繼續持有上市證券的Sequoia Capital Fund結構，2023年區域業務轉為獨立品牌與合夥組織。點擊查看完整詞條、老股東 DCVC 和一批天使投資人參投；Martin Casado 加入公司董事會。公司表示，財富500強中有三分之一在使用 Jev，並已在生產環境為客戶節省數百萬美元。⁠[11][11][11][11][11]

同日，Andreessen Horowitz 發佈由 Jennifer Li、Sarah WangSarah Wang（a16z）Sarah Wang 是風險投資人，Andreessen Horowitz（a16z）成長期團隊普通合夥人，2019年加入 a16z，主導 AI、企業應用與基礎設施領域的成長期投資，投資過 Character.AI、Wiz、Cursor、Temporal、Exa 等公司。點擊查看完整詞條、Martin Casado、Marc AndreessenMarc AndreessenMarc Andreessen 是美國企業家、風險投資人，風險投資機構 Andreessen Horowitz（a16z）的聯合創始人兼普通合夥人。他在大學期間參與開發圖形網頁瀏覽器 Mosaic，隨後聯合創辦 Netscape 和 Loudcloud（後改名 Opsware），並長期擔任 Meta 董事；他還發表了《Why Software Is Eating the World》等文章。點擊查看完整詞條 與 Ben Horowitz 聯名的投資公告，稱 Jev 的發佈是“今年見過的最大的敘事反轉”，是他們見過增長最快的模型，上線3天即生成1萬億 token；按 a16z 的說法，Jev 發佈首周即出現數千種用例，財富500強企業中有25%已集成 Jev。⁠[12][12][12][12][12]

a16z 在公告中認為，真正的經濟突破應是讓所有軟件天然帶上最新模型的智能，而性能與成本仍符合傳統軟件經濟；Jev 的成本約為前沿模型的1/100至1/500，在可比準確度下分類任務快約100倍。公告提出“Jev-ons 悖論”一說：智能便宜到隨處可調用時，它就會被到處調用；並表示人工智能應讓軟件更強大，而不只是自動重做已有軟件，“真正的苦澀教訓”不是造出新的存在，而是把智能的基本構件交還建造者。公告以“軟件繼續吞噬世界”作結。⁠[12][12][12][12][12][12]

2026年10月14日，公司發佈 jev-1.14.0，以“危險區”請求頭開放圖像輸入、返回單個邊界框的 box 類型和更長上下文等實驗功能，並說明這些功能尚不建議用於生產；公司稱新版本對多語言支持的改進最大，計劃一週後把 jev-latest 指向該版本，並在棄用舊版本前提前60天通知。⁠[13][13][13][13][13][13][13]

截至2026年10月，公司企業版頁面列明已取得 SOC 2 Type II 報告，可為企業客戶提供零數據保留，且不使用客戶的提示詞或其他輸入訓練、微調模型。⁠[14][14][14]

TypeSafe AI：官網：https://typesafe.ai/（在新窗口打開）。⁠[8]

X：公開賬號：https://x.com/typesafeai（在新窗口打開）⁠[8]

LinkedInLinkedInLinkedIn 是面向職場人士的社交網絡平臺，2002年由 Reid Hoffman 等人創立、2003年上線，2011年在紐約證券交易所上市，2016年被 Microsoft 以約262億美元收購後成為其全資子公司，收入來自會員訂閱、廣告和招聘解決方案。點擊查看完整詞條：公開主頁：https://www.linkedin.com/company/typesafe-ai/（在新窗口打開）⁠[8]