На линию
Способности на главной линии · ВЫЧИСЛЕНИЯ НА ИНФЕРЕНСЕ

Рассуждение с проверкой

СутьВ 2024 году появились модели, которые тратят дополнительное время и вычисления на решение сложной задачи перед ответом.

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

СтатусПРОЙДЕНО
ТипСпособности на главной линии
Отметка2024
Событий в досье8
Хронология развития

Исследовано

2022-01

Цепочка рассуждений

О событииПросьба «рассуждай пошагово» подняла точность — первый намёк на то, что думать во время ответа выгодно.

подтвержденоОтдельная страница

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

Источник: arXiv
2024-09

o1

О событииДополнительное вычисление во время ответа стало отдельным способом повышать качество на сложных задачах.

подтвержденоОтдельная страница
Источник: OpenAI
2025-03

Gemini 2.5

О событииGoogle вывела рассуждение в основную линейку Gemini и связала его с длинным контекстом и мультимодальным входом.

подтвержденоОтдельная страница
Источник: Google
2025-11

Путь к золоту олимпиады

О событииAlphaProof взял серебро IMO 2024, Aristotle — золотой уровень 2025 года. Все системы, решавшие задачи формально, работали через Lean.

подтвержденоОтдельная страница
Источник: Nature
2026-07

AxiomProver: 42 из 42

О событииАнсамбль агентов закрыл все шесть задач Международной олимпиады по математике 2026 года формальными доказательствами на Lean 4.

НОВОЕпо сообщениямОтдельная страница
Источник: GitHub

В процессе

сейчас

Рассуждение плюс инструменты

О событииРазмышление и вызов калькулятора, поиска или кода слились в один цикл вместо двух отдельных режимов.

В планах

в планах

Знать, когда думать

О событииДолгое рассуждение стоит дорого. Модель должна сама решать, где нужен черновик, а где хватит рефлекса.

Дальние перспективы

впереди

Рассуждение длиной в месяцы

О событииЗадачи, где размышление и проверка занимают недели непрерывной работы, а не минуты.

Источники и исследования

Первоисточники, на которых основано досье: научные публикации, материалы лабораторий и официальные отчёты.

Направления
Способности на главной линии