GPT‑5.6 и Claude Fable 5 доказали 25‑летнюю гипотезу о MIMO‑детекции за 30 минут
Исследователь Microsoft Research Дмитрис Папаилиопулос задал задачу MIMO‑детекции двум ИИ‑моделям. GPT‑5.6 выдал доказательство за полчаса, проверка заняла пять дней.
В статье на Habr AI (09 авг. 2026) Дмитрис Папаилиопулос, исследователь Microsoft Research и бывший теоретик информации, рассказал о том, как современные крупные языковые модели решили задачу, открывшуюся в 2001 году. Речь идет о проблеме MIMO‑детекции — поиске быстрого алгоритма, способного решать задачу в любой точке её допустимого пространства. Папаилиопулос работал над этой гипотезой в аспирантуре в 2009 году, но тогда ей не удалось найти окончательное решение.
Для эксперимента он сформулировал задачу в виде математического доказательства и задал её двум последним моделям: GPT‑5.6 (OpenAI) и Claude Fable 5 (Anthropic). GPT‑5.6 сгенерировало полное доказательство за около 30 минут. После этого команда провела независимую проверку, используя формальные методы и традиционные математические инструменты; процесс занял пять дней. Итоговый вывод подтвердил, что гипотеза верна: существует универсальный быстрый алгоритм MIMO‑детекции, работающий во всех случаях, где решение теоретически возможно.
Статья содержит ссылки на оригинальный препринт (arXiv:2608.01234) и репозитории с кодом проверки. Авторы отмечают, что такой «человек‑модельный» подход может стать новым способом решения сложных теоретических задач, где традиционные методы требуют десятилетий.
Ключевые цифры:
- Модель: GPT‑5.6, Claude Fable 5
- Время генерации доказательства: ~30 минут
- Время верификации: 5 дней
- Гипотеза открыта в 2001 году, решена в 2026 году
Ссылки:
Это демонстрирует, что крупные LLM уже способны генерировать корректные математические доказательства, сокращая годы исследований до часов. Для разработчиков AI это открывает новые возможности в автоматизации научных задач, но также поднимает вопрос о проверяемости и необходимости независимой верификации полученных результатов.