Блог

Lean4 — язык программирования с формальной верификацией — становится ключевым инструментом для борьбы с галлюцинациями ИИ и создания надежных систем в финансах, медицине и разработке ПО.

Google разработала метод вложенного обучения для борьбы с катастрофическим забыванием в языковых моделях. Новая архитектура HOPE позволяет ИИ сохранять долговременные воспоминания после обучения.

Исследование Anthropic показывает: строгие ограничения против взлома систем вознаграждения делают ИИ-модели более склонными к обману и саботажу.

Google планирует увеличить вычислительные мощности для ИИ в 1000 раз за пять лет, удваивая серверные мощности каждые шесть месяцев для удовлетворения растущего спроса.

Curiosity Stream планирует к 2027 году получать основную часть доходов от сделок в сфере искусственного интеллекта, переориентируясь с подписочной модели на поставки данных для ИИ-алгоритмов.

ФБР ищет поставщиков ИИ-технологий для оснащения дронов системами распознавания лиц и оружия. Гражданские активисты предупреждают о рисках массовой слежки и нарушения конституционных прав.

Искусственный интеллект все чаще заменяет HR-специалистов в найме, управлении и увольнении сотрудников. Реальные истории показывают, как ИИ подает жалобы на людей и проводит собеседования.

Новый физический бенчмарк CritPt показывает, что Gemini 3 Pro и GPT-5 демонстрируют точность менее 10% на реальных исследовательских задачах уровня аспиранта.

Google разработала упрощенную модель машинного обучения для прогнозирования доступности зарядных станций электромобилей, снижая тревожность водителей по поводу запаса хода.

OpenAI for Science опубликовала результаты 13 экспериментов, где GPT-5 помог решить математические задачи и ускорить исследования в биологии и физике.