AIToday
Large Language ModelsAI Safety & AlignmentAI Business & IndustryLatent SpacePublished: Sep 22, 2026, 10:01 JST

Diogo Almeida's TypeSafe AI launches Jev System One model

Send on LINE
Diogo Almeida's TypeSafe AI launches Jev System One model

3 Key Points

  1. What happened

    TypeSafe AI CEO Diogo Almeida launched Jev, a System One model built on Reinforcement Learning for Calibrated Decisions, a novel technique the company says is unpublished. Jev is designed for software rather than chat.

  2. Why it matters

    Almeida argues models optimized for human preference via RLHF develop hallucinations, sycophancy and permanent reliance on humans, which makes them unreliable inside software dependencies, so a model tuned for code consumption may be more predictable for automation.

  3. What to watch

    Whether reliability claims hold, since TypeSafe rejects public benchmarks and optimizes for intelligence per dollar. Watch for future models from TypeSafe, including a possible ReasoningJev, and the company's contrarian stance on scaling laws.

WHO IT HITSEnterprise software teams and developers building AI features into applications may find Jev appealing because it targets reliability and calibrated confidence for code consumption rather than chat. TypeSafe's rejection of public benchmarks could make evaluation and procurement harder for those teams.

Not sure about something? Ask the AI

Questions and answers are published on this page.

Summaries like this, every morning.

Context & Analysis

Diogo Almeida, who coauthored the InstructGPT paper and worked on post-training at OpenAI, has argued since then that API-available frontier models have gone down the wrong path. His launch video for Jev has been viewed around 40 million times, a sign of developer interest in an alternative to the chatbot paradigm he criticizes. Almeida traces the dominant approach to three lines of RLHF research and says later innovations like Function Calling and Reasoning felt like hacks on top of a string-based prediction paradigm.

Jev's pitch is that a model should be built for code as the consumer, not for autocomplete or instruction-following. That leads TypeSafe to reject safety refusals as a type error, since a dependency that refuses can stochastically break an application. It also leads the company to optimize for intelligence per dollar, named after Jevons Paradox, and to reject public benchmarks in favor of that metric.

Whether Jev delivers on its reliability promises is the open question. With no public benchmarks, adoption may hinge on whether developers find it more predictable in real software than existing models. Almeida has also teased a contrarian view on scaling laws and how to build a modern neolab without the billions major labs spend, which suggests TypeSafe's test is whether its data-first approach can compete without that scale.

FAQ
What is Jev?
Jev is TypeSafe AI's first large programmable model, also called a System One model. It is designed so that code, not humans, is the consumer, and it is optimized for intelligence per dollar.
Why does TypeSafe AI avoid safety refusals?
Diogo Almeida argues refusals are a type error in software dependencies because a model that refuses can break an application stochastically. He says safety alignment makes sense for products like ChatGPT and Claude, but not for models built to be integrated into code.
What is Reinforcement Learning for Calibrated Decisions?
It is Jev's core innovation, an unpublished technique that optimizes for answers with epistemically honest probabilities on System One tasks. It differs from RLHF, which uses human rated feedback, and RLVR, which uses programmatically verifiable outputs.
Send on LINE

AI news that matters for your work, delivered every morning.

Pick your industry and the AI tools you use, and get news related to your work every day.

Free · 30 seconds with Google · unsubscribe anytimeWhat is AIToday? →

Ask AI

Ask AI anything about this article. The AI reads this article, earlier AIToday articles, and Wikipedia, and cites its sources. Q&As are published on this page for other readers too.

Questions and answers are published on this page.

Related Articles

Next articleEssay flags 'representational drift' as obstacle to circuits