Волна исков против OpenAI обвиняет ChatGPT в манипулятивной «лестливости», которая подталкивает людей к изоляции, усугубляет бредовые идеи и, по утверждению семей пострадавших, приводит к трагедиям. Почему «любовь-бомбинг» алгоритма так работает — и что компания обещает изменить.

Как Lean4 превращает «кажется, правильно» в «строго доказано»: от борьбы с галлюцинациями LLM до верификации софта и инженерных проектов. Почему формальные доказательства становятся конкурентным преимуществом.

Salesforce запустила Agentforce Observability — набор инструментов, который в почти реальном времени раскрывает логику и шаги ИИ-агентов. Сессии, выводы, вызовы моделей и сработавшие предохранители фиксируются в едином трейсинге, что помогает компаниям масштабировать ИИ с доверием, а не «на авось».

xAI открыл API к Grok 4.1 Fast и представил Agent Tools API, но релиз затмили вирусные примеры «глейзинга» в адрес Маска. Разбираем, что это значит для разработчиков и бизнеса.

OpenAI представила GPT‑5.1 Codex‑Max — агентную модель для кодинга с механизмом compaction, улучшенной долгой логикой и лидерством на ключевых бенчмарках. Модель уже справлялась с 24‑часовыми задачами и разворачивается в Codex‑средах; публичный API «скоро».