TypeSafe AI выпустила Jev — модель для софта, которой не надо сочинять абзацы. Её задача скучнее и полезнее: взять входные данные, выбрать из заранее заданных вариантов и вернуть вероятность. Не «держи эссе на три экрана», а «вот решение, вот насколько оно уверенное».
За стартапом стоит Диого Алмейда, бывший исследователь OpenAI: он работал над ChatGPT и RLHF, а потом ушёл копать другую яму. Его претензия простая: текст хорош для людей, но автоматизации часто нужен не красивый ответ, а аккуратный сигнал для кода. Письмо в поддержку, команда в терминале, след агента — всё это не всегда надо пересказывать. Иногда надо быстро понять: пускать дальше или стопорить.
Jev поэтому не играет в обычный LLM. TypeSafe называет её transformer-based моделью, но не большой языковой моделью: на выходе не текст, а «calibrated decisions» — решения с вероятностями. Пользователь заранее задаёт возможные ответы, так что модель не может внезапно выдумать лишнюю строку. Это не отменяет риск плохого выбора, зато убирает классический цирк с вольным сочинением.
Первые живые примеры как раз из инженерной кухни. В Vercel заменили модель OpenAI в классификаторе безопасности команд и получили результат в 5–18 раз быстрее, при этом в их сценарии точность стала выше. В Bryo AI гоняли Jev против Gemini на классификации деловых писем: Gemini оказался чуть точнее, но Jev — в 10–20 раз дешевле и с вероятностями, которые удобно встраивать в workflow.
Главная ниша тут не чатик для всех, а сантехника внутри продукта: маршрутизация запросов между моделями, фильтры безопасности, проверка агентских действий, классификаторы. Большой LLM для такой мелкой развилки часто выглядит как вызов такси, чтобы перейти дорогу. Jev пытается быть дешёвым светофором.
Граница тоже видна. Архитектуру TypeSafe подробно не раскрывает; внешние наблюдатели подозревают связь с open-weight LLM, но это не подтверждённая схема устройства. Алмейда говорит про синтетические данные и обучение на «calibrated decisions», однако независимого бенчмарка в материале нет. И да, если пользователь сам плохо задал варианты, модель магически не спасёт бизнес-логику.
Но поворот занятный. Пока большие лаборатории продают универсального собеседника, TypeSafe лезет в менее глянцевую, зато практичную щель: сделать «умные» проверки внутри обычного софта достаточно дешёвыми, чтобы их ставили везде. Не бог в дата-центре. Скорее нормальный автомат у подъезда: нажал кнопку — получил понятный сигнал.