ABAB Pedia
詞條廣場

Diogo Almeida（TypeSafe AI）

Diogo Almeida 是人工智能研究者和企業家，舊金山人工智能公司 TypeSafe AITypeSafe AITypeSafe AI 是總部位於美國舊金山的人工智能公司，2024年成立，開發供軟件直接調用、輸出帶概率的結構化判斷而非文本的“System One”模型，首個公開模型為 Jev。公司於2026年9月15日結束隱身運營並公佈由 DCVC 領投的4000萬美元種子輪，同年10月9日公佈由 Andreessen Horowitz 領投的8.7億美元 A 輪融資，估值75億美元。點擊查看完整詞條 的創始人兼首席執行官；他曾在 OpenAIOpenAIOpenAI是2015年創立的人工智能研究與產品機構，開發GPT系列模型、ChatGPT、Codex及開發者API，並開展圖像、語音、視頻與智能代理研究。2025年重組後，非營利的OpenAI Foundation繼續控制營利主體OpenAI Group PBC。其發展涉及大規模融資與算力合作，也伴隨治理、版權、隱私及人工智能安全爭議。點擊查看完整詞條 工作約四年半，是 InstructGPT 論文的作者之一，參與了 ChatGPTChatGPTChatGPT是OpenAI於2022年11月30日推出的生成式人工智能助手，通過網頁和應用提供對話、寫作、編程、搜索、文件分析及圖像和語音交互等服務。產品從免費研究預覽發展為面向個人、企業和教育機構的多種方案，並逐步增加深度研究、學習模式和跨應用任務執行能力。其應用也引發有關事實準確性、個人隱私、版權、教育及青少年安全的持續討論。點擊查看完整詞條 背後的基於人類反饋的強化學習（RLHF）研究。

本頁目錄9 節
詞條資料

早年：求學與早期研究經歷

Almeida 本科畢業於倫斯勒理工學院（Rensselaer Polytechnic Institute），後在佐治亞理工學院（Georgia Tech）取得碩士學位。他有約十年的人工智能研究經歷，曾在 Google Brain 工作。⁠[1][2]

2022年3月4日InstructGPT 論文

Almeida 在 OpenAI 工作約四年半。2022年3月4日，論文《Training language models to follow instructions with human feedback》（即 InstructGPT 論文）提交至 arXiv，Almeida 名列作者第四位；他也是 GPT-4 技術報告的作者之一，並參與了 ChatGPT 背後的 RLHF 研究。⁠[3][4][4]

他後來寫道，自己在 OpenAI 參與打造的方法讓語言模型善於遵循指令、與人對話，這些工作成為 ChatGPT 背後的研究；他當時曾以為聊天模型或許能通向通用人工智能，但逐漸認為其中缺少某種關鍵東西。⁠[5][5]

2024年創辦 TypeSafe AI

2024年，Almeida 離開 OpenAI，與 Sasha ShengSasha ShengSasha Sheng 是軟件工程師和企業家，人工智能公司 TypeSafe AI 的聯合創始人兼首席運營官；她曾在 Yahoo 和 Facebook（Meta）從事移動應用與機器學習系統開發，離開 Meta 後曾多次贏得人工智能黑客松，2024年與 Diogo Almeida、Erik Gafni 共同創辦 TypeSafe AI。點擊查看完整詞條、Erik Gafni 一同創辦 TypeSafe AI 並出任首席執行官，公司以隱身方式研發約兩年。他表示，近四年來驅動自己的問題是：模型的聊天能力早已超越人類，自動化在哪裡。⁠[1][1][6][5][5]

2026年在 AI Council 演講

2026年，在 TypeSafe 發佈產品約四個月前，Almeida 在 AI Council 舊金山會議發表題為《AI: Too Good to Be True, Too Bad to Be Useful》的演講。他認為，幾乎所有生產環境中的大語言模型都以 RLHF 或其變體訓練，而 RLHF 優化的是人類偏好而非把任務做對，這使模型在輔助類工作上表現驚人，卻難以勝任看似更簡單的自動化工作。⁠[3][3][3][3]

2026年9月15日TypeSafe AI 發佈 Jev

2026年9月15日，TypeSafe AI 結束隱身運營，Almeida 以本人署名發文宣佈推出首個 System One 模型 Jev，同日公司公佈由 DCVCDCVCDCVC（Data Collective）是2010年由 Matt Ocko 與 Zachary Bogue 創辦的美國深科技（deep tech）風險投資機構，辦公地點位於加利福尼亞州帕洛阿爾托和舊金山，投資以計算與人工智能手段解決能源、氣候、生物醫藥、國防、太空與工業等現實領域問題的公司；截至2026年10月，其管理資產逾40億美元，旗下共有13支基金。點擊查看完整詞條 領投的4000萬美元種子輪。他在 DCVC 發佈的問答中說，大語言模型之所以好用，是因為針對人類偏好做了優化，這也正是它們離不開人類監督的原因；他認為在通用人工智能實現大部分經濟自動化的世界裡，超過99%的人工智能調用將由軟件發起、為軟件服務。⁠[5][5][7][7][7][7]

2026年9月28日做客 a16z 播客

2026年9月28日，Andreessen HorowitzAndreessen HorowitzAndreessen Horowitz（a16z）是 Marc Andreessen 與 Ben Horowitz 於2009年創辦的風險投資機構，覆蓋種子期至成長階段，並向被投企業提供運營支持。點擊查看完整詞條 發佈 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 認為，編程智能體讓人更快地寫軟件，但寫出的軟件運作方式基本未變；他的目標是讓技術能夠可靠地“按我的意思做”。⁠[8][8][8]

2026年10月9日A 輪融資

2026年10月9日，TypeSafe AI 宣佈完成由 Andreessen Horowitz 領投的8.7億美元 A 輪融資，估值75億美元，Martin Casado 加入董事會。a16z 表示已關注 Almeida 多年，並認同他“真正的苦澀教訓”在於把智能的基本構件交還建造者的看法。⁠[9][9][10][10]

關聯機構、網站與公開賬號

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

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

來源

  1. Senior female schoolmate from Jiao Tong University, with a valuation of 70 billion（在新窗口打開）
  2. Diogo Almeida | Databricks（在新窗口打開）
  3. Diogo Almeida — AI Council Speaker（在新窗口打開）
  4. Training language models to follow instructions with human feedback（在新窗口打開）
  5. Introducing System One Models & Jev - TypeSafe AI Blog（在新窗口打開）
  6. TypeSafe AI exits stealth with $40M to build AI for use by software（在新窗口打開）
  7. TypeSafe emerges from stealth with a new way of doing AI（在新窗口打開）
  8. AI Can Write Code. Why Isn’t Software Better?（在新窗口打開）
  9. TypeSafe A raises Series AI（在新窗口打開）
  10. Investing in TypeSafe AI（在新窗口打開）