V-JEPA от Meta учится интуитивной физике по обычным видео, предсказывает будущее на уровне скрытых представлений и даже «удивляется» невозможным сценам. Разбираемся, как это работает, где система уже сильна и чего ей пока не хватает.
2025‑й превратил ИИ из одного «большого облачного мозга» в пёстрый зоопарк: мощные закрытые модели, дерзкие открытые веса из Китая, зрелые локальные мини‑LLM и медиа‑тех, уходящий в потребительские платформы. Короткий обзор главных релизов и трендов, которые будут важны в ближайшие 12–24 месяца.
Белый дом запускает «Манхэттенский проект» для ИИ: DOE объединит национальные лаборатории, суперкомпьютеры и государственные наборы данных в единую закрытую платформу. Что это значит для бизнеса — и почему важно следить уже сегодня.
Anthropic представила Claude Opus 4.5: цены снижены в 3 раза, бесконечные чаты, заметный рывок в инженерных задачах (80,9% на SWE-bench Verified) и крупные обновления для корпоративных рабочих процессов — от Excel до программного вызова инструментов.
Как Lean4 превращает «кажется, правильно» в «строго доказано»: от борьбы с галлюцинациями LLM до верификации софта и инженерных проектов. Почему формальные доказательства становятся конкурентным преимуществом.