Исследования 2026-08-10

Двум конкурирующим ИИ-моделям задали один и тот же инженерный вопрос, открытый 25 лет. Обе вернулись с доказательством — и доказательства оказались разными

Димитрис Папаилиопулос, главный исследователь Microsoft Research, по отдельности поставил открытую задачу из беспроводной связи перед GPT-5.6 и перед Fable 5 от Anthropic. Вопрос восходит к началу 2000-х и касается MIMO-детектирования: передатчик отправляет N бит по каналу, у которого на каждом конце по N антенн, канал перемешивает их и добавляет шум, а приёмник должен восстановить каждый бит в точности. Делать это оптимально — NP-трудная задача. С 2000-х было известно, что точное восстановление становится статистически возможным, когда отношение сигнал/шум достигает примерно 2 log N, но единственным методом, добиравшимся до этого порога, оставался полный перебор. Сферическое декодирование, предложенное в 2001 году как быстрая альтернатива, в 2005-м было признано неспособным закрыть этот разрыв. Обе модели вернули полные доказательства того, что быстрый алгоритм всё же достигает того же порога, и выбрали для этого разные алгоритмы: GPT-5.6 использовала приближённую передачу сообщений (AMP), а Fable 5 — знаковый LMMSE с последующим жадным переворотом битов, метод, который инженеры давно применяют на практике, но который никогда не был доказан. Папаилиопулос говорит, что первое доказательство появилось примерно за тридцать минут, после чего он пять-семь дней вместе с моделями упрощал рассуждение и изложение и сам проверил результат от начала до конца. Статьи пока нет, рецензирования тоже, поэтому читать это следует как проверенное утверждение исследователя, а не как закрытый вопрос.

Почему это важноИнтересно не то, что модель выдала доказательство: в этом году такое случалось уже несколько раз. Интересно, что две модели, созданные конкурирующими лабораториями и независимо получившие один и тот же вопрос, пришли к верному ответу разными путями. Одна выбрала теоретически модный алгоритм, другая — грубоватый метод, который промышленность и так использует, а математика никогда не благословляла. Это больше похоже на то, как область действительно выбирается из тупика, чем на один удачный ответ, и такую картину труднее объяснить фразой «модель просто запомнила решение». Практическая сторона тоже настоящая. Именно MIMO даёт вашему телефону приемлемую скорость в людном месте, а алгоритм, который оправдала Fable 5, уже работает в реальном железе: теперь за ним стоит гарантия, а не наблюдение, что он вроде бы справляется. Оговорка та же, что и для любого подобного результата: проверка здесь — это внимательное чтение одного специалиста, а не журнал. Пока текст не опубликован и другие не прошли по нему, это сильное утверждение, а не закрытое дело.

#Наука и исследования

✓ Проверено · 3 источников

Читайте в приложении — бесплатно, 9 языков

Двум конкурирующим ИИ-моделям задали один и тот же инженерный вопрос, открытый 25 лет. Обе вернулись с доказательством — и доказательства оказались разными

Похожие новости