В новом эпизоде шоу от Andreessen Horowitz (a16z) Бен Хоровиц и Мартин Касадо обсуждают с Диого Алмейдой, основателем TypeSafe AI, будущее автоматизации. В центре внимания — проект Jev, который предлагает разработчикам новый примитив для создания «умного» софта, способного принимать вероятностные решения, вместо того чтобы просто генерировать текст.
🤖 Где вся автоматизация? Проблема современных ИИ-инструментов 0:50
Диого Алмейда начинает с провокационного вопроса: «Где, черт возьми, вся автоматизация?» Несмотря на то что ИИ стал невероятно умным, в реальных рабочих процессах он всё ещё часто бесполезен. По мнению Алмейды, нынешние ИИ-агенты для написания кода (coding agents) лишь ускоряют создание того же самого софта, который мы писали 10 лет назад, но не делают сами программы умнее .
Основные тезисы Диого Алмейды:
- ИИ как «алмаз без огранки»: Интеллект ИИ впечатляет, но он не «отполирован» для реальной автономной работы в составе систем .
- Разница между Jev и «Just-in-Time» софтом: В то время как инструменты вроде GitHub Copilot или Cursor создают код «на лету» по текстовому запросу, TypeSafe стремится расширить возможности самого программного обеспечения .
- Намерение (Intent): Цель Jev — позволить программистам выражать намерения и цели внутри кода, а не просто гиперспецифицировать алгоритмы .
Мартин Касадо отмечает, что Jev — это не замена программиста более быстрым инструментом, а новый тип библиотеки, который встраивает слой интеллекта непосредственно внутрь софта .
🧠 Jev: Новый примитив для «машинно-ориентированного» программирования 4:07
Алмейда описывает Jev как классификатор нового поколения. По его словам, классификаторы всегда создавались практиками для того, чтобы системы работали, и Jev доводит эту идею до совершенства . Это позволяет разработчикам программировать сложные логические переходы на естественном языке, интегрируя их в конечные автоматы (state machines).
Ключевые особенности подхода:
- Интеллект внутри, а не снаружи: Jev предназначен для работы внутри программных состояний, а не для общения с пользователем через чат-бот .
- Вероятностное программирование: Система работает с уровнями уверенности (confidence levels), что непривычно для классического императивного программирования, но критично для ИИ .
- Эффективность: Для Алмейды «северной звездой» является показатель «интеллект на доллар» (intelligence per dollar), хотя он признает, что в краткосрочной перспективе важна и скорость .
🧬 Путь Диого Алмейды: От «матлета» до OpenAI 9:05
Диого поделился историей своего становления, которая сочетает в себе математику, системное программирование и ИИ.
- Математическое прошлое: Диого был титулованным «матлетом» (участником математических олимпиад), хотя признается, что никогда не любил математику саму по себе — она была лишь средством достижения успеха .
- Kaggle и системный подход: Его путь в ИИ начался с победы в соревновании на Kaggle. Вместо использования сложной математики он «выжал максимум» из системной части, автоматизировав вложенные циклы и обработку данных .
- Работа в лидирующих лабораториях: После успеха на Kaggle Алмейда работал с Джереми Ховардом (fast.ai), затем в Google Brain и, наконец, в OpenAI, где он занимался обучением с подкреплением и фидбеком от человека (RLHF) .
Именно в OpenAI в конце 2021 года Алмейда осознал мощь генерализации ИИ. По его словам, команда была поражена, когда модель смогла убедительно ответить на абсурдный вопрос «Почему важно есть носки перед медитацией?», что доказало: ИИ не просто «подглядывает» ответы в интернете, а реально обобщает знания .
🛡️ «Build Prod, Not God»: Философия прагматизма 15:46
Бен Хоровиц подчеркивает уникальность подхода TypeSafe: в то время как другие лидеры ИИ-лабораторий строят «Бога» (AGI), Диого строит «Прод» (Production-ready инструменты). Алмейда называет это движением против «культа моно-модели», где один большой мозг должен управлять всем .
Философские и практические взгляды участников:
- Критика хайпа: Алмейда считает, что индустрия ИИ разделилась на тех, кто дает пустые обещания, и тех, кто пытается автоматизировать реальные задачи. Он иронизирует: ИИ решает сложнейшие математические доказательства (GPQA), но всё ещё не может надежно принять заказ в «Макдоналдсе» через drive-thru .
- Надежность (Reliability): Это главное требование TypeSafe. Диого утверждает, что они могли бы выпустить продукт гораздо раньше, если бы не фанатичное внимание к надежности . Под надежностью он понимает не просто аптайм, а робастность — способность модели выдавать «умный» и предсказуемый результат в ответ на аналогичные ситуации .
- Против «человека в цикле»: До сих пор ИИ-системы часто требовали человека для проверки результата. Цель Jev — сделать софт настолько надежным, чтобы разработчики могли доверять ИИ-решениям внутри систем без постоянного надзора .
💼 Конец «SaaS-апокалипсиса» и новая эра систем 30:21
Бен Хоровиц отметил интересную тенденцию: появление ИИ-агентов напугало рынки («SaaS-апокалипсис»), но с появлением Jev компании-разработчики ПО воспрянули духом. Алмейда считает, что SaaS-компании станут главными победителями в ИИ-игре. У них есть доступ к клиентам и понимание рабочих процессов. Вместо того чтобы просто добавить чат-бота поверх старого интерфейса, они могут использовать Jev для фундаментального улучшения логики своих приложений .
Прогнозы на будущее:
- Исчезновение форм: Диого мечтает о мире, где сложные формы с множественным выбором исчезнут, уступив место интерфейсам, которые понимают намерения пользователя .
- Перезапуск систем: Мартин Касадо проводит аналогию с переходом от мейнфреймов к клиент-серверной архитектуре и облакам. Появление ИИ-примитива заставляет нас заново переписывать «внутренности» систем (OS, базы данных, сетевые протоколы) .
- «Do What I Mean» (Делай то, что я имею в виду): Это финальная цель. Технология должна работать бесшовно, как шестеренки, понимая контекст и желания человека без лишних уточнений .
