Доказательство заняло 30 минут, проверка — 5 дней. Как ИИ закрыл задачу теории связи

Исследователь Microsoft Research Дмитрис Папаилиопулос, известный теоретик информации, сообщил о том, что две большие языковые модели — GPT-5.6 и Claude Fable 5 — закрыли вопрос, который оставался открытым с 2001 года. Речь идет о задаче MIMO-детекции: можно ли найти быстрый алгоритм для ее решения во всех случаях, где это принципиально возможно? Над этим вопросом Папаилиопулос бился еще в 2009 году, будучи аспирантом, но тогда успеха не добился. Недавно он просто задал этот вопрос двум нейросетям.

Первое доказательство GPT-5.6 выдал примерно за тридцать минут. Однако настоящая работа началась после: пять дней ушло на то, чтобы превратить машинный вывод в текст, который человек способен проверить построчно. «Верификация — безумное бутылочное горлышко», — подвел итог исследователь.

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