OpenAI Codex становится рабочей средой для агентного программирования
OpenAI расширила Codex до рабочей среды для агентного программирования: фоновые агенты, браузер, память, изображения и 90+ плагинов.
разработка
Разработка с использованием ИИ: интеграция API, создание AI-приложений, автоматизация workflows.
OpenAI Agents SDK: новая база для production AI-агентов
OpenAI обновила Agents SDK: теперь у агентов появляется рабочая среда, состояние и восстановление после сбоев. Это шаг от демо к production-сценариям.
Формальная верификация кода: что показал баг в Lean 4
Формальная верификация сработала там, где были доказательства. Баги нашлись в среде выполнения Lean 4 и непроверенном парсере.
Unitree R1 выходит на AliExpress: гуманоидный робот для разработчиков, а не домашний помощник
Unitree R1 стал ближе к массовому рынку через AliExpress, но главная аудитория пока не домохозяйства, а разработчики, энтузиасты и лаборатории.
N-Day-Bench: как LLM ищут реальные уязвимости в коде
N-Day-Bench проверяет, как LLM ищут реальные N-day уязвимости в коде. Главное не leaderboard, а методика, traces и ограничения.
SpaceX и Cursor: сделка на 60 млрд и битва за AI-кодинг
Сделка SpaceX и Cursor важна не только суммой: рынок AI-кодинга превращается в борьбу за вычисления, модели и рабочее место разработчика.
Цены на ИИ-агенты для программирования: лимиты 2026
GitHub, Anthropic и OpenAI почти одновременно показали один и тот же сдвиг: агентное программирование стало дорогой вычислительной нагрузкой, а подписки начинают это отражать.