If your software needs fast, repeated machine-to-machine decisions rather than a chatbot, TypeSafe's Jev model is worth watching: it runs in about 0.4 seconds per case and comes from a team that helped build ChatGPT's original post-training pipeline at OpenAI, Google Brain, and Meta.
TypeSafe AI is a San Francisco startup led by former OpenAI and Google Brain researcher Diogo Almeida. Its first model, Jev, skips text generation and returns typed decisions with calibrated confidence scores in well under a second, built for real-time software automation such as games and robotics rather than conversational chat.
Founded: 2024 · HQ: San Francisco, CA, USA · Team: 10-25 · CEO: Diogo Almeida · Funding: $40M seed (announced Sep 2026, lead: DCVC)
About TypeSafe AI
TypeSafe AI Inc. is a San Francisco AI lab founded in 2024 by Diogo Almeida (CEO), Erik Gafni (CTO), and Sasha Sheng (COO). Almeida spent four years at OpenAI working on post-training for ChatGPT, is credited as a co-inventor of RLHF, and is a listed author on the InstructGPT paper and the GPT-4 technical report; he previously worked at Google Brain. Gafni is a repeat founder who built Ravel, a machine learning company for DNA sequencing, and was an early engineer at Invitae and Freenome. Sheng was a research engineer at Meta's FAIR lab, working on News Feed and AI Experiences, with papers at NeurIPS and ECCV. The company worked in stealth for roughly two years before its public launch, operating from an office near San Francisco's Embarcadero station with a stated five-day in-person policy and staff drawn from OpenAI, Google Brain, Meta FAIR, Stripe, Airbnb, Plaid, and Docker.
TypeSafe's first release is Jev, what the company calls a System One Model: a non-autoregressive model that returns typed decisions and calibrated confidence scores in a single pass instead of generating text token by token. It is trained with a technique TypeSafe calls Reinforcement Learning for Calibrated Decisions (RLCD), which the company says optimizes for calibration, so a decision Jev states as 70 percent confident should be correct about 70 percent of the time, rather than for pleasing a human rater the way RLHF does. On TypeSafe's own four-workflow benchmark, Jev scored 67.8 percent accuracy, close to GPT-5.6 Terra's 67.9 percent and a few points behind GPT-5.6 Sol (74.1 percent) and Claude Opus 5 (73.1 percent), while running in roughly 0.4 seconds per case against 10 to 38 seconds for those models, and at a claimed cost near $0.0004 per case against $0.0304 to $0.1761 for them. Jev is priced at $0.042 per million input tokens with no charge for output tokens, and is reachable only through a waitlisted early access program at console.typesafe.ai.
TypeSafe AI raised a $40 million seed round, announced alongside its stealth exit, led by deep-tech investor DCVC. No other investors were named publicly, and the company has not disclosed a valuation.
TypeSafe positions Jev against general-purpose frontier chat models such as OpenAI's GPT-5.6 family and Anthropic's Claude Opus 5, for a narrower job: fast, repeated, machine-to-machine decisions embedded inside production software such as games, robotics, simulations, and automation pipelines, where a fixed, typed output matters more than open-ended reasoning or conversation. Public demos shown at launch include a Minecraft-playing bot, a Doom-playing agent, a self-driving-style simulation, and a drone navigating an obstacle course. Almeida has argued publicly since leaving OpenAI that RLHF-trained chat models are tuned to satisfy the human rater in the training loop, which he says makes them a poor fit for unsupervised, high-volume automation, the gap TypeSafe is trying to fill.
Mission
Machine-native intelligence infrastructure for software decisions, not conversation ('Build Prod, Not God').
Products
- Jev (System One decision model / API): https://docs.typesafe.ai/models
TypeSafe AI Models on HokAI
Links
Frequently Asked Questions
How much funding has TypeSafe AI raised?
TypeSafe closed a $40 million seed financing led by deep-tech investor DCVC, disclosed alongside its September 2026 stealth exit. No other backers were named publicly, and the company has kept its valuation private.
What products does TypeSafe AI make?
TypeSafe AI's only shipped product is Jev, a System One decision model that returns typed outputs with calibrated confidence scores instead of generated text. Input tokens cost $0.042 per million, output is free of charge, and access currently runs through an early-access waitlist at console.typesafe.ai.
How does TypeSafe AI handle data privacy and compliance?
TypeSafe AI has not published SOC 2, ISO 27001, or other third-party compliance certifications. The company says Jev serves every account from the same base model weights rather than fine-tuning on individual customer data, but it has not published a dedicated trust center or a detailed data retention policy.
Who are TypeSafe AI's main competitors?
Jev's indirect rivals are large conversational systems, namely OpenAI's newest GPT line and Anthropic's Opus 5, both stronger on open-ended reasoning and backed by a bigger existing developer base. TypeSafe argues its own model instead wins on latency and cost for narrow, repeated, machine-to-machine decisions inside production software, a use case those larger systems were not built around.
How do you start using TypeSafe AI's products?
Developers can read the technical documentation at docs.typesafe.ai and request access through the waitlist at console.typesafe.ai. TypeSafe has said it is issuing API keys to approved applicants in batches rather than opening Jev to everyone at once.