Операция выполнена!
Закрыть
info@vsetut.pro
Стать автором
Вернуться

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

09.08.2026 20:11:31 | Хабр
Хабы: Искусственный интеллект, Машинное обучение

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

Читать далее
Подробнее
Читайте также
НОВОСТИ

ВСЕ НОВОСТИ
ПИШИТЕ

Техническая поддержка проекта ВсеТут

info@vsetut.pro

Copyright © 2026 - vsetut.pro