Корона

Статьи

AI Research

Исследования, эксперименты и новые возможности искусственного интеллекта

Здесь мы разбираем исследования AI-лабораторий, научные статьи и экспериментальные системы, которые показывают, что ИИ уже умеет делать — и чему он учится прямо сейчас.

20 исследований · 68 источников — лаборатории, институты и научные площадки

Что нового научился делать ИИ

Главный вопрос раздела. Выберите способность — покажем исследования о ней.

Reasoning

Рассуждение: как модели решают многошаговые задачи.

Формула aⁿ + bⁿ ≠ cⁿ над деревом лемм с оранжевой галочкой проверки
Reasoning

ИИ впервые полностью формализовал доказательство Великой теоремы Ферма — и компьютер его проверил

За 11 дней почти без участия людей Claude перевёл доказательство Великой теоремы Ферма на язык Lean, где каждый шаг проверяет машина. Получилось 13 миллионов строк кода и 29 511 теорем. Кевин Баззард назвал это выдающимся достижением.

Anthropic Researchсентябрь 2026 · 2 мин
ИИ впервые полностью формализовал доказательство Великой теоремы Ферма — и компьютер его проверил
Схема задачи ARC: примеры сеток «было — стало», круг «мысль» и сетка-ответ
Reasoning

Небольшая модель научилась решать головоломки ARC, рассуждая «про себя» — без слов и почти бесплатно

BDH-CQ от Pathway на 150 миллионов параметров решает задачи на абстрактное мышление ARC-AGI-1, не проговаривая рассуждения словами. Результат — 29,5% при стоимости около $0,0007 за задачу: по соотношению цены и точности это новый рекорд.

Pathwayавгуст 2026 · 2 мин
Небольшая модель научилась решать головоломки ARC, рассуждая «про себя» — без слов и почти бесплатно
Схема: множество серых точек и оранжевый круг с двадцатью пятью точками в центре
Interpretability

В языковой модели нашли «рабочее пространство»: небольшой набор мыслей, о которых она может сказать

Anthropic показала, что внутри Claude есть выделенная область, где держится около 25 понятий одновременно. Именно она нужна для многошаговых рассуждений: если её отключить, такие задачи перестают решаться, а простые — почти не страдают.

Anthropic Interpretabilityиюль 2026 · 2 мин
В языковой модели нашли «рабочее пространство»: небольшой набор мыслей, о которых она может сказать
Схема рассуждения: цепочка шагов с оранжевой стрелкой возврата «Подожди… проверю ещё раз»
Reasoning

Нейросеть научилась рассуждать без примеров рассуждений — только за счёт награды за верный ответ

DeepSeek показала, что длинные рассуждения, самопроверка и смена стратегии появляются у языковой модели сами, если награждать её только за правильный ответ. Доля решённых олимпиадных задач AIME выросла с 15,6% до 71%.

DeepSeekянварь 2025 · 3 мин
Нейросеть научилась рассуждать без примеров рассуждений — только за счёт награды за верный ответ

Как мы отбираем

Статья выходит, только если на вопрос «что ИИ теперь умеет такого, чего раньше не умел?» есть ответ, подтверждённый экспериментом.

Не берём прирост в пару процентов на бенчмарке, пресс-релизы без исследования, обновления API и маркетинговые заявления. В каждой статье — ограничения и ссылка на оригинальную работу.

Откуда берём исследования

Лаборатории, институты и научные площадки, за которыми следим:

И ещё 40 источников, которые проверяем регулярно