Дмитрис Папаилиопулос, исследователь Microsoft Research и в прошлом теоретик информации, рассказал, как GPT-5.6 и Claude Fable 5 закрыли вопрос, который стоял открытым с 2001 года: можно ли решить задачу MIMO-детекции быстрым алгоритмом везде, где ее в принципе можно решить. Над этим вопросом он сам работал аспирантом в 2009-м, а теперь просто задал его двум моделям. Первое доказательство GPT выдал примерно за 30 минут. Дальше началась настоящая работа: пять дней ушло на то, чтобы превратить ответ машины в текст, который человек способен проверить построчно. "Верификация — безумное бутылочное горлышко", — подвел итог Папаилиопулос. Это соотношение — 30 минут на решение против недели на проверку — и есть главная новость.
Сама задача формулируется на пальцах. Передатчик с N антеннами отправляет N битов — цепочку из плюс и минус единиц — приемнику, у которого тоже N антенн. Эфир смешивает сигналы: каждая приемная антенна слышит не "свой" бит, а взвешенную кашу из всех N сразу, и сверху ложится случайный шум. Пропорции смешивания (матрицу канала) приемник знает — их измеряют служебными сигналами, — а шум нет. Требуется восстановить все биты до единого. Это MIMO-детекция; сама технология MIMO сидит в каждом Wi-Fi роутере и базовой станции 5G. Оптимальный по вероятности ошибки метод известен давно: перебрать все комбинации битов и выбрать ту, что лучше всего объясняет принятый сигнал. Одна беда — комбинаций 2^N, а в общем случае задача NP-трудна, что Серхио Верду доказал еще в 1989…
