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-sdk v0.7.0(PyPI)とJS @typesafe-ai/sdk v0.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件があります)。「注目に値する初期のインフラだが、まず自分のデータで較正と正確さを検証を」と扱うべきです。特に中国のユーザーは、サービスが中国本土に開放されておらず中国語の能力も弱い点に注意してください。