Ridwan Alam

Writing

What Is Jev? Is It a New Model or Just a Buzzword?

A look inside TypeSafe AI’s System One Model, and why it might be the missing link for real automation.

Sep 25, 2026
  • AI Engineering
  • Gen AI
  • AI Automation
Read on Medium
0:00 / --:--
Part I / The Problem
01

We’ve All Been There

You ask ChatGPT or Claude to do something simple: classify a support ticket, extract data from an email, route a request to the right department. It works… most of the time. But sometimes it hallucinates. Sometimes it formats the output wrong. And it always takes a few seconds.

For chatting, that’s fine. For building actual software that runs at scale? That’s a dealbreaker.

Enter Jev (pronounced “Jev,” like “rev”), a new kind of AI model from a company called TypeSafe AI. It’s not a chatbot. It’s not a coding assistant. It’s something entirely different, and if the benchmarks are to be believed, it might be the missing piece for true business automation.

Let me break down what Jev actually is, why it matters, and whether it’s the real deal or just Silicon Valley hype.

02

Great at Chat, Bad at Automation

Current AI models (GPT, Claude, Gemini) are incredible at conversation. They can write essays, debug code, brainstorm ideas. But they all share a fundamental flaw: they generate strings of text, one token at a time.

This creates three problems for automation:

1
They hallucinate. A model might output a tool call that doesn’t exist, or a JSON field that’s misspelled.
2
They’re slow. Generating text token-by-token takes seconds, which is fine for humans but an eternity for software.
3
They’re expensive. Output tokens cost ~5x more than input tokens, and complex workflows can rack up huge bills.

As Diogo Almeida, founder of TypeSafe AI (and former OpenAI researcher who worked on the methods behind ChatGPT), puts it:

“Models have been superhuman at chat for years, so where is all the automation?”

That’s the question Jev answers.

Part II / The Model
03

What Is Jev, Exactly?

Jev is not a smaller LLM. It’s not a fine-tuned version of GPT. It’s an entirely new class of model called a System One Model.

Here’s the core idea:

  • Traditional LLMs: unstructured input → generate text token-by-token → you parse and validate the output
  • Jev: unstructured input → typed probabilistic decisions in a single parallel pass → directly usable by software
Two pipelines
An LLM’s answer has to survive a parser; Jev’s is already in the shape software needs

Jev / System One Model

Unstructured input
text · program state

Parallel sampler
one pass

Type-safe structured output
+ calibrated probabilities

Software can use
directly

Traditional LLM

no

yes

Unstructured input
text · program state

Sequential token
generation

String output

Parse +
validate

Valid?

Hallucination /
type error

Software can use

Jev / System One Model

Unstructured input
text · program state

Parallel sampler
one pass

Type-safe structured output
+ calibrated probabilities

Software can use
directly

Traditional LLM

no

yes

Unstructured input
text · program state

Sequential token
generation

String output

Parse +
validate

Valid?

Hallucination /
type error

Software can use

The LLM lane has a failure branch because its output is a string that might not parse. The Jev lane has none: there is no string to get wrong.

Think of it like this:

An LLM is like asking a human to write you a letter. You then have to read it, interpret it, and extract the information you need. Jev is like asking a human to fill out a structured form. The answers are already in the right boxes, with confidence scores attached.

Jev gives up string generation entirely. It can’t write you a poem or chat about the weather. But what it can do is make fast, structured decisions that software can use directly: without hallucinating, without type errors, and in 70–500 milliseconds.

That’s the trade-off. And for automation, it’s a trade-off worth making.

04

Why “System One”?

The name comes from Daniel Kahneman’s Thinking, Fast and Slow. Kahneman distinguishes between:

  • System 1 thinking: fast, intuitive, automatic
  • System 2 thinking: slow, deliberate, analytical

Most AI models today are optimized for System 2-style tasks: reasoning through problems, writing essays, solving math. But a huge amount of real-world work is System 1: quick judgments, classifications, routing decisions, pattern matching.

TypeSafe argues that System 1 thinking has been unfairly maligned as “error-prone.” They believe System One Models can actually be made more reliable than their alternatives, because they’re optimized for a narrower, more structured task.

And “Jev”?

The name comes from William Stanley Jevons, the economist who observed that when steam engines became more efficient, coal consumption increased rather than decreased. TypeSafe expects machine intelligence to follow the same path: every order-of-magnitude drop in the cost of intelligence unlocks orders of magnitude more use cases.

05

The Three Big Innovations

1. Reinforcement Learning for Calibrated Decisions (RLCD)

Every major AI lab uses RLHF (Reinforcement Learning with Human Feedback) to train their models. The goal? Produce text that human raters prefer.

That’s the right goal for a chatbot. But it’s the wrong goal for automation.

TypeSafe created a new training method called RLCD. Instead of optimizing for “what would a human like to read,” it optimizes for calibrated decisions: answers with honest probabilities.

Three training targets
You get what you optimize for

RLCD · Jev

Calibrated decisions

Probabilistic reward

Optimize for honest confidence

RLVR · proofs, testable code

Programmatic verifier

Verifiable reward

Optimize for correct answers

RLHF · chat models

Human preferences

Reward model

Optimize for preferred text

RLCD · Jev

Calibrated decisions

Probabilistic reward

Optimize for honest confidence

RLVR · proofs, testable code

Programmatic verifier

Verifiable reward

Optimize for correct answers

RLHF · chat models

Human preferences

Reward model

Optimize for preferred text

This means if Jev says it’s 95% confident, it’s actually right 95% of the time. That’s a game-changer for automation, because you can set thresholds: “Only auto-approve if confidence > 90%.”

There’s also RLVR (Reinforcement Learning with Verifiable Rewards), which works well for tasks with simple programmatic verification, like math proofs or code that can be tested. But most real-world judgment tasks don’t fit that shape. RLCD is designed for the messy middle.

2. Parallel Sampling

Traditional LLMs generate one token at a time, each conditioned on the last. It’s sequential, slow, and hardware-inefficient.

Jev generates all outputs in a single query. It’s parallel, hardware-aware, and incredibly fast.

The result: end-to-end response times of 70–500ms, compared to 3–329 seconds for frontier LLMs. That’s 40x–200x faster for the same levels of frontier intelligence on System One-shaped queries.

The economics
Cheaper input, free output, and answers fast enough to leave the human out of the loop

Jev

input
$0.042 / MTok

output
free

response
70–500 ms

loop
software-in-the-loop

Traditional LLM

input
$0.20–$10 / MTok

output
~5x input cost

response
3–329 seconds

loop
human-in-the-loop

Jev

input
$0.042 / MTok

output
free

response
70–500 ms

loop
software-in-the-loop

Traditional LLM

input
$0.20–$10 / MTok

output
~5x input cost

response
3–329 seconds

loop
human-in-the-loop

3. Type-Safe Structured Outputs

Jev’s possible outputs are defined in advance. It’s mathematically impossible for the model to make a type error. No hallucinated tool calls. No malformed JSON. No surprises.

Type safety by construction
The schema is decided before the model runs, so there is no wrong shape to sample

always

impossible

Schema defined
in advance

Jev parallel
sampler

Matches
schema?

Type-safe output

Type error

always

impossible

Schema defined
in advance

Jev parallel
sampler

Matches
schema?

Type-safe output

Type error

In a chatbot, a 2% error rate is annoying. In a production system with latency guarantees and dependency chains, it’s catastrophic. Jev eliminates this entire class of failure.

06

Jev vs. Existing LLMs

A side-by-side comparison:

Dimension Existing LLMs System One + Jev
Training method RLHF / RLVR RLCD (Reinforcement Learning for Calibrated Decisions)
Optimizes for Human preference (chat responses) Calibrated decisions with honest probabilities
Inputs Unstructured data, sequential messages Unstructured data, structured program state
Outputs Strings / generated text (flexible but risky) Type-safe structured values
Sampling Sequential (one token at a time) Parallel (all outputs in a single query)
Cost Input: $0.20–$10 / MTok; Output: ~5x input Input: $0.042 / MTok; Output: free
Speed 3–329 seconds 70–500 milliseconds
Confidence Overconfident and inconsistent Always calibrated; higher confidence = higher accuracy
Best use cases Chatbots, copilots, coding agents Workflows, real-time apps, verification, map-reduce
Part III / The Evidence
07

The Benchmarks: Do the Numbers Hold Up?

TypeSafe published several benchmarks, and they’re striking. Let me walk through the key ones.

Structured Output Error Rate & Tool Call Error Rate

What this shows: Jev has a 0% error rate on structured outputs and tool calls. Every other model (GPT, Claude, Gemini) has some error rate, ranging from 0.58% (Luna) to 45.5% (Haiku 4.5).

Why it matters: In a chatbot, a 2% error rate is annoying. In a production system with latency guarantees and dependency chains, it’s catastrophic. Jev eliminates this entire class of failure.

The fine print

TypeSafe is careful to note the nuance here: the LLM numbers come from OpenRouter, so there’s almost certainly bias: more complex queries might be routed to better models. And Jev’s 0% is not empirical; it’s guaranteed by schema matching. That’s not a bug, it’s a feature.

Accuracy vs. Cost: The Pareto Frontier

Accuracy against cost
Jev reaches mid-pack accuracy at the lowest cost on the chart
expensive and accuratecheap and accuratecheap and less accurateexpensive and less accurateOpus 5SolTerraHaiku 4.5LunaJevlower costhigher costlower accuracyhigher accuracyexpensive and accuratecheap and accuratecheap and less accurateexpensive and less accurateOpus 5SolTerraHaiku 4.5LunaJevlower costhigher costlower accuracyhigher accuracy
Positions are taken from TypeSafe’s chart on a relative cost scale, not plotted from published prices. Accuracy: Jev 67%, Luna 66%, Haiku 4.5 54%, Terra 67%, Sol 74%, Opus 5 73%.

What this shows: Jev sits alone on the Pareto frontier, meaning nothing is both cheaper and more accurate. It achieves ~67% accuracy at a fraction of the cost of models like GPT-6 Astra or Opus 5.

The headline numbers

On TypeSafe’s workflow evaluations, Jev is 193.6x faster and 444.6x cheaper than comparable frontier models.

The nuance: These workflows weren’t cherry-picked to make Jev look good. They’re representative of real production workloads: complex, multi-step decisions with many independent questions. However, they were made by individuals on TypeSafe’s model capabilities team, so some bias could exist.

They also use the average of GPT-6 Astra and Fable 5.1 as the reference answer, which biases answers toward OpenAI and Anthropic’s models. If anything, TypeSafe says, this likely underestimates Jev’s relative performance.

The Workflow Diagram

What this shows: A real-world security incident response workflow. Each step involves multiple structured decisions:

1
Triage: Three readings of the alert and its joined records: is this unauthorized, does a record explain it, how strong is the evidence?
2
Disposition: Code turns the readings into close, queue, or act, with the asset’s environment and tier in the balance.
3
Containment: An act runs eleven readings on the state of the incident: credentials, sessions, mail, persistence, processes, traffic, spread.
4
Playbook: The first group that applies is taken, and within it the strongest action whose conditions hold. When no group applies, escalate urgently.
Incident response
One alert, four stages of typed decisions, and a concrete action at the end

probably authorized

grey zone 0.15–0.60

probably unauthorized, P > 0.75

close

queue

act

group 1

group 2

group 3

group 4

group 5

no group

One alert

Triage
is this unauthorized?

AUTO CLOSE

NOTIFY USER

Disposition
close, queue or act?

CLOSE

NOTIFY USER

Containment
eleven readings on the incident

Playbook
first group that applies?

BLOCK DESTINATION
BLOCK EGRESS ASSET

DISABLE ACCOUNT
REVOKE ACCESS KEY
REVOKE SESSIONS

BLOCK SENDER
PURGE MAILBOXES
QUARANTINE MESSAGE

ISOLATE HOST
KILL PROCESS
QUARANTINE FILE

REMOVE FORWARDING
RULES

ESCALATE URGENT

probably authorized

grey zone 0.15–0.60

probably unauthorized, P > 0.75

close

queue

act

group 1

group 2

group 3

group 4

group 5

no group

One alert

Triage
is this unauthorized?

AUTO CLOSE

NOTIFY USER

Disposition
close, queue or act?

CLOSE

NOTIFY USER

Containment
eleven readings on the incident

Playbook
first group that applies?

BLOCK DESTINATION
BLOCK EGRESS ASSET

DISABLE ACCOUNT
REVOKE ACCESS KEY
REVOKE SESSIONS

BLOCK SENDER
PURGE MAILBOXES
QUARANTINE MESSAGE

ISOLATE HOST
KILL PROCESS
QUARANTINE FILE

REMOVE FORWARDING
RULES

ESCALATE URGENT

Why it matters: This is the kind of work that currently requires human judgment. Jev turns it into a series of fast, reliable, probabilistic decisions that software can execute automatically.

The most reliable real-world workflows tend to have many independent, decomposed questions, with fine-grained behavior that’s dependent on probabilities instead of discrete decisions. The end result is discrete branching, but how you get to a final answer involves a lot of domain-specific engineering that needs to be done highly consistently.

08

Real-World Demos: Doom and Wikiracing

TypeSafe showed off two demos that illustrate what Jev enables.

Doom

They built a Doom bot that uses Jev to make real-time decisions based on structured game state. The engineer behind it was worried about making 10 queries a second, which ends up costing about $7/hour. The rest of the team agreed that was lower than expected.

The Doom loop
Ten decisions a second, for about $7 an hour
JevBot logicDoom game stateJevBot logicDoom game state~10 queries a second · about $7 an hourstructured state (text)query with statetyped decisions + probabilities (70–500 ms)actionJevBot logicDoom game stateJevBot logicDoom game state~10 queries a second · about $7 an hourstructured state (text)query with statetyped decisions + probabilities (70–500 ms)action

The demo is on structured state as a data structure with text, not on images (yet). A non-AI Doom bot could play better, but the goal was a bot that was reactive to different representations of game state, and, most importantly, following instructions was cool as heck.

Wikiracing: The Ultimate Test of Speed and Reliability

The objective of the game is to start on one Wikipedia page and reach a specific other Wikipedia page using only links you come across while traversing. Each step can mean choosing between hundreds to thousands of links! It’s a great playground for demonstrating not just intelligence-per-second, but also the compounding benefits of not hallucinating with high-cardinality choices.

Let’s look at four specific Wikiracing challenges run by TypeSafe to see how Jev stacks up in the real world.

Challenge 1: Baseball → Sun

Model Time Hops Cost vs Jev
Jev 0.419 s 3 0.047¢ —
GPT-5.6 Terra · 1 hallucination 9.453 s 6 2.044¢ 43.9x cost
Claude Sonnet 5 3.724 s 4 3.310¢ 71.1x cost
Claude Haiku 4.5 4.975 s 6 1.030¢ 22.1x cost
Baseball → Sun
Fastest by nearly 9x, and a rounding error on cost
Time (seconds)JevSonnet 5Haiku 4.5GPT-5.6 Terra109876543210Time (seconds)JevSonnet 5Haiku 4.5GPT-5.6 Terra109876543210
Cost (¢)JevSonnet 5Haiku 4.5GPT-5.6 Terra3.532.521.510.50Cost (¢)JevSonnet 5Haiku 4.5GPT-5.6 Terra3.532.521.510.50
Time: Jev 0.419 s, Sonnet 5 3.724 s, Haiku 4.5 4.975 s, GPT-5.6 Terra 9.453 s (with 1 hallucination). Cost: 0.047¢, 3.310¢, 1.030¢ and 2.044¢.

The takeaway: Jev was 8.89x faster and 71.1x cheaper than the best competitor. But look at the hops. Jev found the target in just 3 jumps, while GPT-5.6 Terra took 6 jumps and hallucinated a link along the way. In a high-cardinality game like Wikiracing, a hallucination isn’t just a wrong answer: it breaks the state and forces backtracking, compounding the time and cost.

Challenge 2: Rubber duck → Lamport’s bakery algorithm

Model Time Hops Cost vs Jev
Jev 0.544 s 5 0.036¢ —
GPT-5.6 Luna 4.694 s 5 0.084¢ 2.34x cost
Claude Sonnet 5 4.900 s 5 1.763¢ 49.3x cost
GPT-5.6 Sol 5.030 s 5 1.650¢ 46.2x cost
Rubber duck → Lamport’s bakery algorithm
Same five hops for everyone; only Jev lands in the fast, cheap corner
slow and expensivefast and expensivefast and cheapslow and cheapGPT-5.6 SolClaude Sonnet 5GPT-5.6 LunaJevfasterslowercheapermore expensiveslow and expensivefast and expensivefast and cheapslow and cheapGPT-5.6 SolClaude Sonnet 5GPT-5.6 LunaJevfasterslowercheapermore expensive
Jev 0.544 s, 0.036¢ · GPT-5.6 Luna 4.694 s, 0.084¢ · Claude Sonnet 5 4.900 s, 1.763¢ · GPT-5.6 Sol 5.030 s, 1.650¢. Axes run 0–6 s and 0–2¢.

The takeaway: This one is fascinating because everyone took 5 hops. The route was equally efficient. But Jev was 8.63x faster than the fastest competitor and 2.3x cheaper than the cheapest one. When the path is clear, Jev’s parallel sampling architecture just executes the decision faster and cheaper.

Challenge 3: Rubber duck → Fisher-Yates shuffle

Model Time Hops Cost vs Jev
Jev 0.730 s 5 0.057¢ —
GPT-5.6 Sol 7.276 s 6 4.007¢ 70.8x cost
Claude Opus 5 8.694 s 5 4.634¢ 81.9x cost
GPT-6 Astra (low) 11.013 s 5 6.683¢ 118x cost

The takeaway: Jev is 9.97x faster and 70.8x cheaper. Again, Jev uses fewer hops (5) than GPT-5.6 Sol (6). This demonstrates the compounding benefits of not hallucinating. When a model hallucinates in Wikiracing, it doesn’t just add a step; it often derails the entire strategy, forcing the model to waste hops recovering.

Challenge 4: K-pop → Knuth-Morris-Pratt algorithm

Model Time Hops Cost vs Jev
Jev 0.827 s 4 0.101¢ —
GPT-5.6 Luna · 1 hallucination 3.524 s 5 0.268¢ 2.65x cost
Claude Sonnet 5 3.659 s 4 3.486¢ 34.5x cost
Claude Haiku 4.5 · 2 hallucinations 17.035 s 6 2.096¢ 20.7x cost

The takeaway: Jev takes 4 hops. So does Claude Sonnet 5. But Jev is 4.26x faster and 34.5x cheaper. Meanwhile, Claude Haiku 4.5 takes 17 seconds, 6 hops, and hallucinates twice. In a production system, a 17-second response time is an eternity. A 0.8-second response time is invisible.

09

Calibration in Practice: Why Confidence Scores Matter

One of Jev’s biggest differentiators is calibration. Here’s how a production system might use it:

Confidence as policy
Because 95% means right 95% of the time, the thresholds are the policy

0–70%
Escalate / reject
never automated

70–90%
Human review or queue
a person looks

90–100%
Auto-approve
software acts

0–70%
Escalate / reject
never automated

70–90%
Human review or queue
a person looks

90–100%
Auto-approve
software acts

This is the kind of logic that makes automation reliable. You don’t need the model to be perfect. You need it to know when it’s not perfect.

Part IV / The Verdict
10

Is This Hype? Let’s Be Skeptical

I love skeptics, and TypeSafe does too. They explicitly say: “Extraordinary claims require extraordinary evidence.”

So let’s examine the claims.

✅ Easily verifiable

Speed: You can test it yourself. Jev responds in 70–500ms.

Cost: Pricing is transparent: $0.042 per million input tokens, output tokens are free.

No type errors: This is mathematically guaranteed by the architecture. One counter-example would falsify it.

❌ What Jev can’t do

String generation: No chat, no essays, no code generation.

General-purpose reasoning: It’s optimized for System One tasks: fast, structured decisions.

Public benchmarks: TypeSafe deliberately chose not to publish on MMLU, HumanEval, etc. They argue these benchmarks are misleading for automation use cases.

Why This Is Not Just Hype

Here’s the thing: TypeSafe isn’t claiming Jev is AGI. They’re not saying it’s smarter than GPT-5. They’re making a specific, narrow, verifiable claim:

The claim

For System One tasks (structured decisions that software can use directly), Jev is faster, cheaper, and more reliable than any existing model.

And they’re backing it up with:

  • A new training algorithm (RLCD) designed specifically for this task
  • A new architecture (parallel sampling) that’s fundamentally more efficient
  • Transparent benchmarks with acknowledged limitations
  • Real demos (Doom, Wikiracing) that show the model working in real-time

This isn’t “AGI next year” hype. This is “we found a better way to do a specific thing” engineering.

11

The Bitterest Lesson

TypeSafe has a blog post called “AI’s Bitterest Lesson.” The short version: you get what you optimize for.

Every lab optimizes for the same task during RLHF: produce the text that a human rater prefers. That was the right task for a chat product, but it is the wrong task for automation.

This is what TypeSafe calls the bitterest lesson: optimizing for the right task matters more than data, compute, or algorithms.

LLMs were optimized for being incredible chatbots and copilots, which made them superhuman at those human-in-the-loop tasks. TypeSafe is optimizing for the System One interface.

RLVR is great for tasks with simple programmatic verification, but most real-world judgment tasks don’t fit into that shape. This tends to cause spikey, non-robust intelligence.

RLCD is TypeSafe’s answer: optimize for calibrated decisions, not human preference.

12

Real Use Cases

TypeSafe outlines several use cases where Jev shines:

1
AI-powered workflows: Smart if-statements that classify, route, score, extract, or branch where hand-written logic is too brittle. The surrounding code constrains their freedom, making them easier to compose into reliable systems.
2
Map-reducing over big data: Turn petabytes of data into features and insights.
3
Real-time applications: 100ms speeds mean you can use AI where UX is critical.
4
Verify everything: Score, judge, verify, guardrail, and detect jailbreaks of LLM prompts, reasoning traces, and/or outputs.

The Doom demo is particularly fun: an engineer built a bot that makes ~10 queries per second, costing about $7/hour. The team’s reaction? “That’s lower than expected!”

13

Who Should Care About Jev?

If you’re building any of the following, Jev is worth a look:

  • Automation pipelines where reliability and speed matter more than creative text generation
  • Real-time applications where 100ms response times unlock new UX
  • High-volume decision systems where cost per call is a bottleneck
  • Verification and guardrail systems that need to score or judge LLM outputs
  • Data processing workflows that need to turn unstructured data into structured insights

If you need a chatbot, a coding assistant, or a creative writing partner, Jev is not for you. It’s a specialized tool for a specialized job.

14

What’s Next

TypeSafe is still in Jev’s early days. They have a lot more in the pipeline and are excited to keep shipping.

Today, they’re opening early access and bringing developers off the waitlist as quickly as they can. They want to hear which decisions you need to automate, where Jev works, and where it falls short.

They started TypeSafe because they believe that AI needs an interface software could depend on. They can’t wait to see new use cases continuously diffuse through the community and economy.

15

The Bottom Line

Is Jev a new model or a buzzword?

It’s a new model. A genuinely new class of model, with a new training algorithm, a new architecture, and a new optimization target.

Is it hype?

No. The claims are specific, verifiable, and backed by transparent benchmarks. TypeSafe is upfront about limitations and biases.

Why is it the new thing?

Because it solves a problem that every AI lab has been ignoring: the gap between “AI that chats” and “AI that software can depend on.”

LLMs are incredible for human-in-the-loop tasks. But for automation (real, reliable, scalable automation) you need something different. You need fast, structured, calibrated decisions.

You need a System One Model.

In one breath

The future of AI isn’t just about bigger models. It’s about better interfaces. And Jev might just be the interface software has been waiting for.