Diogo Almeida, founder of TypeSafe AI, announces on September 15, 2026 the first System One Model, named Jev, available in early access. His starting question: given that models have been superhuman at conversation for years, where is the automation? His diagnosis is that LLMs, optimized for human preference (RLHF) or for verifiable rewards (RLVR), produce character strings; for software to use them, they must be parsed and validated, with the constant risk that they fall outside the expected format.
TypeSafe offers a stack entirely oriented toward automation: a new model architecture, a parallel sampler, and a training method, RLCD (reinforcement learning for calibrated decisions), which optimizes responses accompanied by honest probabilities. Jev takes unstructured data as input, preferably a program state, and returns typed values, whose shape is defined in advance, with probabilities and confidence scores. It forgoes text generation, which, according to the author, prevents it from hallucinating or making type errors. It describes itself as a frontier-intelligence function call.
The announced figures: input at $0.042 per million tokens, free output, latency of 70 to 500 ms versus 3 to 329 seconds for frontier models, a factor of 40 to 200 on System One-type queries. Sampling is parallel: all outputs are produced in a single request.
The article separates verifiable claims (speed, cost, absence of type errors) from the bolder ones. It presents a side-by-side demonstration with GPT-5.6 Terra, whose only disagreement concerns a starting risk level judged genuinely ambiguous, followed by workflow evaluations: a correct computation graph is assumed, and each model's probabilities are compared against the average of GPT-6 Astra and Fable 5.1. Jev dominates the Pareto frontier across nearly two orders of magnitude; the company's homepage cites 193.6× faster and 444.6× cheaper, which the author places at the high end of the real gains. Each demonstration is followed by caveats: LLM figures sourced from OpenRouter, workflows written by the team, a reference favorable to OpenAI's and Anthropic's models.
Use cases: fuzzy decisions embedded in code (classifying, routing, scoring, extracting), bulk data processing, real-time applications, verification of LLM outputs. Two demonstrations, Doom and Wikiracing, illustrate the speed and the absence of hallucination in high-cardinality choices (up to 255 options).
The name refers to Kahneman (System 1) and to Jevons: each order-of-magnitude drop in the cost of intelligence would open up just as many new uses. TypeSafe is opening early access and asking developers which decisions they want to automate.