AI/Infra #83: Alice AI, нативный стек Shopify и данные ClickHouse в ChatGPT

🎧 Подкаст-версия выпуска (mp3)

🤖 Модели и агентные системы

• Яндекс открыл базовую модель Alice AI Search — В открытый доступ вышла Alice AI-T5-35B-A0.6BBase — Encoder-Decoder MoE-модель для быстрых ответов, тогда как производственный инференс остаётся внутренним.
• Cognition представила SWE-2 — Cognition объявила новую модель для программной инженерии SWE-2, позиционируя её рядом с Fable 5.1 и GPT-Astra.
• OpenAI выпустила Agents API — OpenAI представила API для создания агентных приложений, вызвавший активное обсуждение среди разработчиков.
• Nex-AGI представила семейство Nex-N2.5 — Линейка mini, Pro и Max нацелена на кодинг, веб-навигацию и управление компьютером; Pro и Max заявлены как сильные на этих бенчмарках.
• ClickHouse подключается к Data agent в ChatGPT Work — Партнёрская интеграция позволит пользователям ClickHouse Cloud строить запросы, отчёты и интерактивные дашборды на естественном языке.

🛡️ Проверяемость и безопасность AI

• Где LLM помогают формальным доказательствам — Практический эксперимент Tweag признаёт потенциал моделей для Lean-подобных доказательств, но ставит под сомнение подход, где разработчик пишет лишь спецификации.
• Lean 4 в доказательстве Навье — Стокса — По опубликованной оценке, формализация с Lean 4 заняла 17 часов вместо 132 800 часов, хотя такое сравнение требует осторожной интерпретации.
• Математики спрашивают о приватности неопубликованных работ — Исследователи требуют от OpenAI яснее объяснить, могли ли обезличенные пользовательские диалоги повлиять на модели и результаты по математике.
• Astra лучше рассуждает через токены-заполнители — Эксперимент сообщает рост результатов с примерно 10% до 50% на задачах с четырьмя переходами и с 60% до 90% на AIME, поднимая вопрос о наблюдаемости скрытых рассуждений.
• Предложены метрики наблюдаемости архитектур AI — Авторы предлагают компаниям публиковать внешне проверяемые показатели, включая непрозрачную последовательную глубину, и проводить стресс-тесты наблюдаемости.
• Как измерять непрозрачную последовательную глубину — Работа определяет NLS-глубину как метрику латентного рассуждения через интерпретируемые узкие места, генерирующие текст из предобученного распределения.

☸️ Платформы, SRE и облако

• Grafana меняет метки Synthetic Monitoring — Пользовательские метки теперь прикрепляются ко всем метрикам и логам проверок без префикса label_; миграцию просят завершить до 1 марта 2027 года.
• Как Авито управляет архитектурным долгом — Команда Bridge действует как SWAT-группа между платформой и продуктом, опираясь на инструменты SLA и архитектурной оценки для приоритизации проблем.
• Три воспроизводимых сбоя восстановления Kubernetes — CNCF показывает на локальной лаборатории с двумя кластерами, почему успешный бэкап ещё не означает восстановление состояния, данных и сетевого пути приложения.
• Автоматизация облачной безопасности и Kubernetes — Yandex Cloud разбирает непрерывный контроль доступов и данных, соответствие 152-ФЗ и PCI DSS, а также защиту Kubernetes без остановки приложений.
• Контрибьют в OpenSRE при 350 коммитах в неделю — Инженер Yandex Cloud описывает интеграцию с публичным альфа-проектом SRE-агентов и советует запускать его без модифицирующих прав из-за рисков ранней стадии.

🗄️ Данные и вычисления

• PlanetScale представила шардированный Postgres Neki — PlanetScale анонсировала Neki — решение для шардированного Postgres, которое обсуждают разработчики распределённых баз данных.
• WalShadow реплицирует Postgres в ClickHouse из WAL — Новый инструмент читает физический WAL Postgres напрямую и в тестах достигает около 200 мс задержки и 289 тысяч строк в секунду.
• ClickHouse добавила On-Demand Compute — Режим выделяет дополнительные воркеры под отдельные тяжёлые запросы, чтобы масштабировать их без помех для производственной нагрузки.
• Google закупит энергию финской АЭС для AI-инфраструктуры — Компания договорилась покупать до половины электроэнергии АЭС Ловииса в рамках инвестиций в AI-инфраструктуру и дата-центры на 13 млрд евро.

🧰 Разработка и сети

• Shopify возвращается от React Native к нативной разработке — Shopify переходит к Swift и Kotlin, поскольку кодовые модели заметно удешевили поддержку отдельных мобильных реализаций; React Native компания при этом не считает неудачным выбором.
• Rust получил статус языка первого уровня в Microsoft — Rust Foundation сообщила, что Microsoft отнесла Rust к языкам первого уровня.
• 1.1.1.1 начал проверять постквантовый DNSSEC — Резолвер Cloudflare валидирует подписи ML-DSA-44 — стандартизированного NIST постквантового алгоритма, чья DNSSEC-подпись достигает 2 420 байт.

Больше заметок: @mediocreit

Собрано: OpenAI / gpt-5.6-terra
Обогащение: Tavily
TTS: ElevenLabs / eleven_multilingual_v2
Tracing: Nebius Tracing