#reasoning-models

Claude формализовал Великую теорему Ферма в Lean

Anthropic заявила, что модель 11 дней почти автономно превращала знаменитое доказательство в машинно проверяемый код.

5 сент. 2026 г.

Исследователи нашли уязвимость в скрытых reasoning-трассах AI API

В новой работе говорится, что зашифрованные блоки рассуждений OpenAI, Anthropic и Google можно было переиспользовать между сессиями и декодировать через более слабые совместимые модели; основные атаки уже закрыты.

12 авг. 2026 г.