ИИ решил 20-летнюю проблему теории связи за полчаса

Дмитрис Папаилиопулос, исследователь Microsoft Research и бывший теоретик информации, предложил этот вопрос двум крупным языковым моделям. Ранее он сам работал над этой проблемой в аспирантуре в 2009 году. По его словам, GPT-5.6 предоставил первое доказательство примерно за 30 минут, подтвердив возможность решения задачи MIMO-детекции быстрым алгоритмом везде, где это теоретически возможно.

Задача MIMO-детекции связана с эффективным приёмом сигналов в системах с множественными входами и выходами, что критически важно для современных беспроводных коммуникаций. Несмотря на быструю генерацию доказательства искусственным интеллектом, процесс верификации оказался трудоёмким. Дмитрису Папаилиопулосу потребовалось пять дней, чтобы переработать ответ моделей в полноценный, строгий текст, который можно построчно проверить.

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

Привлечение ИИ к решению давних научных проблем открывает новые перспективы для прогресса, сокращая время на поиск гипотез и первоначальных доказательств, тем самым позволяя исследователям сосредоточиться на их проверке и глубоком анализе.