Новости о нейросетях для программирование с AI, кодинг-ассистенты, AI для разработчиков, инструменты и фреймворки
PyTorch выпустила OpenReg — симулятор акселераторов для тестирования пользовательского аппаратного обеспечения с использованием механизма PrivateUse1 DispatchKey.
Lean4 — язык программирования с формальной верификацией — становится ключевым инструментом для борьбы с галлюцинациями ИИ и создания надежных систем в финансах, медицине и разработке ПО.
Google расширяет возможности Gemini CLI добавлением поддержки расширений Looker, что открывает новые горизонты для разработчиков бизнес-аналитики и интеграторов.
AnyLanguageModel предлагает единый API для работы с локальными и облачными языковыми моделями на платформах Apple, устраняя фрагментацию инструментов разработки ИИ.
Google представила BigQuery Agent Analytics — плагин для мониторинга AI-агентов, позволяющий анализировать взаимодействия пользователей и оптимизировать производительность через интеграцию с BigQuery.
Scale и Temporal представили руководство по созданию автономных агентов для предприятий, способных работать месяцами и привлекать людей только для ключевых решений.
OpenAI выпустила GPT-5.1-Codex-Max — модель для программирования, способную работать над задачами до 24 часов с улучшенной эффективностью и поддержкой Windows.
Manus выпустил браузерное расширение Browser Operator, позволяющее ИИ-ассистенту работать в локальном браузере пользователя для автоматизации сложных задач.
AWS Professional Services представила систему агентного ИИ, которая сокращает сроки корпоративных проектов с месяцев до недель. Новые ИИ-агенты автоматизируют технические задачи, позволяя консультантам сосредоточиться на стратегии.
Vibe coding — новый подход к разработке через диалог с ИИ — меняет индустрию, позволяя непрограммистам создавать приложения и ускоряя работу опытных разработчиков.