
Theorem
業務內容:
Program verification so even your systems engineers can vibecode
基本資料:
本名單收錄 1,429 家新創公司,最後更新於 2026年10月15日。 其中 461 家正在徵才。 主要聚集地:舊金山 (1,355)、洛杉磯 (47)和聖地牙哥 (4)。 團隊規模最大:Cruise、Relativity Space和Athelas。 最新融資:Agriculture Scout AI 募得 $425K(2026年10月13日)。

業務內容:
Program verification so even your systems engineers can vibecode
基本資料:

業務內容:
Open Source AI Agent Improvement Platform
基本資料:
業務內容:
Robots, parts & RL envs & evals - delivered in 48 hrs / pickup in SF.
基本資料:

業務內容:
The AI data analyst for biology labs
基本資料:

業務內容:
為營建與製造業打造的 AI 會計自動化
基本資料:

業務內容:
Claude 與 ChatGPT 裡的應用程式平台。
基本資料:

業務內容:
AI agents for on-call
基本資料:

業務內容:
Robots to build civilization
基本資料:

業務內容:
為中型私募股權打造的 AI 分析師
基本資料:

業務內容:
Design your home instantly with AI
基本資料:

業務內容:
Building self-improving software
基本資料:

業務內容:
給面對面銷售業務的 AI 教練。
基本資料:

業務內容:
自動駕駛的客戶服務
基本資料:

業務內容:
及早偵測阿茲海默症
基本資料:

業務內容:
遊戲代練、帶打與教學市集
基本資料:

業務內容:
AI workers that book, scribe, code, interpret, and answer clinicians
基本資料:

業務內容:
以 AI 優化汽車零件業的商品描述
基本資料:

業務內容:
Turn AI adoption into a recurring revenue line.
基本資料:

業務內容:
Intelligent Personal Cloud Storage
基本資料:

業務內容:
Relationship Coverage for Deal Teams
基本資料:

業務內容:
AI Automation for Therapy Practices
基本資料:

業務內容:
Building the library for superintelligence.
基本資料:

業務內容:
Scout is an AI news aggregator that turns your role, industry, and…
基本資料:

業務內容:
全天候 24/7 的 AI 招募專員
基本資料:

業務內容:
AI 驅動的醫療帳務
基本資料:

業務內容:
用信用卡點數與哩程搜尋航班的引擎
基本資料:

業務內容:
讓你的語音代理擁有一張臉
基本資料:

業務內容:
治癒並預防第 1 型糖尿病
基本資料:

業務內容:
為居家服務打造、以現場為優先的 AI
基本資料:

業務內容:
AI Agents for Location
基本資料:

業務內容:
Secure multiplayer workspace for teams building with agents
基本資料:

業務內容:
AI 旅遊規劃師
基本資料:

業務內容:
處理應收帳款的 AI 代理
基本資料:

業務內容:
Open source applied AI lab building next-gen devtools
基本資料:

業務內容:
An AI-powered CAD software
基本資料:

業務內容:
Deploying secure and reliable AI agents across healthcare, retail,…
基本資料: