2 источникаX 95Задачу теории связи, открытую с 2001 года, закрыли за полчаса работы двух моделей
Дмитрис Папаилиопулос, исследователь Microsoft Research и в прошлом теоретик информации, много лет думал над вопросом MIMO-детекции: можно ли быстрым алгоритмом восстановить сигнал везде, где это в принципе возможно. MIMO — приём, когда передатчик и приёмник используют несколько антенн сразу, на нём стоит современная мобильная связь; вопрос оставался открытым с 2001 года.
Папаилиопулос отдал задачу GPT-5.6 и Claude Fable 5. Доказательство модели собрали примерно за полчаса, а на проверку у человека ушло пять дней.
Соотношение времени тут и есть содержание новости: узкое место сместилось с поиска доказательства на его верификацию. Owain Evans в тот же день отметил, что успехи видны там, где ответ можно проверить, а в областях с трудной проверкой — науке и гуманитарном знании — о продвижении судить нечем.
