TypeSafe AI
公式収録サンフランシスコのAIラボが提供する、構造化された判断のための型付き意思決定モデルAPI。
TypeSafe AI
TypeSafe AIはサンフランシスコのAIラボTypeSafe AI, Inc.(2024年設立、2026-09-15にステルスから登場)の旗艦製品です。中核はJevで、テキストを生成せず型付きの確率的判断のみを出力するモデルです(公式には初代System One Modelと呼ばれます)。ソフトウェア内での高頻度の分類、ルーティング、スコアリング、検証が必要な開発者が対象で、極めて低いコストと機械可読な構造化判断を交換します。
名称の区別 この項目はtypesafe.ai(TypeSafe AI, Inc.)のみを指し、老舗のtypesafe.com(Scala/Akkaの親会社で、2016年にLightbendへ改称)とは無関係です。「type-safe」は一般的なプログラミング概念でもあります。すでに掲載済みのtype.aiとは別物で、同じ製品ではありません。
主な機能
- 型付き意思決定API:
stateと型付きの質問を送ると、較正された確率付きの回答が並行して返ります(エンドポイントPOST /v1/systemone) - 3つの質問プリミティブ:
Choice(最大255の選択肢)、Score(ルーブリックで採点)、Noul(はい/いいえの確率)のそれぞれに確信度の値が付きます - 機械可読な出力: スキーマ制約により不正な値がなく、JSONパースとリトライロジックが不要になります
- 本物のSDKと流通: Python
typesafe-sdkv0.7.0(PyPI)とJS@typesafe-ai/sdkv0.6.0(npm)に加え、OpenRouter、Vercel AI Gateway、Cloudflare Workers AIに掲載されています - 低遅延・低コスト: 公式には、並列サンプリングがトークンごとの生成を置き換え、「質問を足しても応答時間はほぼ変わらない」。入力トークン100万あたり$0.042
- 検証可能なチームと資本: Diogo Almeida(CEO、元OpenAI、InstructGPT/RLHFの著者の一人)、Erik Gafni(CTO)、Sasha Sheng(COO)。DCVCが主導した4,000万ドルのシードラウンド
なぜ重要か LLMの自由テキストはコードに入る前にパース、リトライ、検証されなければなりません。Jevは「型付きの機械判断」を直接生み出し、その工学上の負担の層全体を取り除きます。繰り返し掃除が必要なテキストを、スキーマで保証された正当な値へ置き換えます。
活用シーン サポートチケットのトリアージ、エージェントのツールルーティング、LLM出力のガードレール、ログ/コンテンツのモデレーション、コード検索のスコアリング、Computer Useの高速判断層です。回答空間が事前定義され、現在のLLMベースの手法を遅すぎたり高すぎたりすると見なす、高頻度の判断ニーズを持つエンジニアリングチームに適しています。
独自の強み セールスポイントは知能の天井ではなく「価格-レイテンシのパレートフロンティア」です。複数の独立テストが速度とコストの優位がほぼ成立することを確認しており(Everyは777の判断が約$0.0025で0.7秒未満と測定、Dan Shipperは比較モデルの8.83秒に対し中央値0.35秒を記録)、自動化されたしきい値を駆動できる本当の確率を返す数少ないモデルです。
正直に向き合うべき危険信号
- 頭打ちの「193.6倍/444.6倍」という改善数値は自社設計の4ワークフローに由来します。会社自身、現実的な向上の中でも有利な側に位置づけると認めており、第三者テストでは25倍前後です
- 「ゼロハルシネーション」はスキーマ的に正当というだけで、正しいという意味ではありません。会社は0%という数字が測定されたものではないと認めています
- 正確さは実際にはフロンティアに後れを取ります: 67.8%対74.1%。請求書タスクでは61.8%対79.1%
- 論文も重みもパラメータ数もなし。アーキテクチャは非公開。会社は価格が補助されていないことを証明できず、標準ベンチマークも公開していないと認めています
- 米西海岸の単一リージョンで、CJK/中国語の正確さは弱く、中国本土には開放されていません
編集部レビュー 報道は幅広く非常に新しいものです。TechCrunch、InfoWorld、HPCwire、Forbes、The Register、Business Wireなどが数日のうちに大量に報じ、Hacker Newsのヒットは1,920ポイント/504コメントを集め、中国メディアも多数の記事を書き、独立テスト(Every、paddo.dev、primeline.cc)もすでに出ています。しかし公開は2026-09-15からの約5日間にすぎず、正確さの主張には時間に基づく検証がまだありません。ベイパーウェアではありません。実際のAPI、SDK、サードパーティゲートウェイ、名前の明らかなチーム、DCVCの4,000万ドルはすべて検証可能です(GitHub組織typesafe-aiは2024-05-28に作られ、MITライセンスの公開リポジトリ10件があります)。「注目に値する初期のインフラだが、まず自分のデータで較正と正確さを検証を」と扱うべきです。特に中国のユーザーは、サービスが中国本土に開放されておらず中国語の能力も弱い点に注意してください。
料金
### 💰 定价模式：按量计费（单一透明费率 · 候补名单制） **起步价**：$0.042 / 百万输入 token（输出免费） #### 主要方案 - **Jev 1.13（模型 ID `jev-1.13.0`）**：$0.042 / 百万输入 token（即 $42 / 十亿 token），**输出 token 免费**（官方措辞 'too cheap to meter'） - **速率限制**：250,000 tokens/秒、1,200 请求/分钟（超限返回 `429`） - **上下文**：总计 64k token / 请求（`state` + 单个问题上限 32k）；**仅文本输入**，不支持图像 / 音频 / 视频 #### 试用 / 其他信息 - **没有独立的定价页**（`/pricing`、`/pricing/`、`/plans` 均返回 404），以上费率来自**官方文档**：`https://docs.typesafe.ai/models`。 - **未见明确的公开免费额度**；访问主张经由 `console.typesafe.ai` 的 Early Access 候补名单，或通过 OpenRouter（`typesafe/jev-1.13`）、Vercel AI Gateway、Cloudflare Workers AI 调用。 - 官方自承：**「无法证明这不是补贴价」**，预期长期价格会下降而非上升。 — 公式サイトを見る
よくある質問
TypeSafe AIは無料ですか?
現在、公開されている無料枠も独立した料金ページもありません。利用は従量課金で、入力トークン100万あたり$0.042(10億で$42)、出力トークンは無料です。アクセスにはウェイトリストかサードパーティゲートウェイが必要で、会社は価格に補助が含まれる可能性を認めています。
TypeSafe AIのJevモデルで何ができますか?
Jevはテキストを生成しません。stateと型付きの質問を受け取り、較正された確率付きの構造化判断を返します。Choice(最大255の選択肢)、Score、Noulの3プリミティブに対応し、分類、ルーティング、スコアリング、検証のような高頻度の機械判断に適しています。
TypeSafe AIはScala/AkkaのTypesafeと同じ会社ですか?
いいえ。この項目はサンフランシスコのAIラボTypeSafe AI, Inc.(typesafe.ai、2024年設立、製品はJev)を指します。老舗のTypesafe(typesafe.com)は2016年にLightbendへ改称しており、完全に無関係です。
TypeSafe AIはGPTやClaudeのような汎用LLMとどう違いますか?
Jevはテキスト、コード、会話を生成できません。型付きの判断のみを行い、極めて低いレイテンシとコストで勝り、本当の確率を返します。汎用LLMはより賢いものの遅く高価です。両者は代替ではなく補完の関係にあり、コピーの執筆やコード生成には依然として大モデルが必要です。
TypeSafe AIが主張する「ゼロハルシネーション」は本物ですか?
注意して理解してください。公式の「ゼロハルシネーション」は、出力が事前定義されたスキーマから外れないというだけで、構成上の保証であって測定結果ではなく、判断が正しいことを意味しません。完全に誤っているがスキーマ的には正当な値を出力することもあり得ます。
TypeSafe AIは中国のユーザーに適していますか?
現時点ではあまり適していません。サイトとドキュメントは英語のみで、会社は中国語/CJKの正確さが弱いと認めており、サービスは米西海岸の単一リージョンで中国本土には開放されていません。中国語のシナリオでは、まず自分でテストするか、国内のオープンソースの再実装に注目してください。