GPT-5.6 и Claude Fable 5 за 30 минут решили открытую задачу теории связи — проверка заняла 5 дней
Исследователь Microsoft Research Дмитрис Папаилиопулос попросил GPT-5.6 и Claude Fable 5 доказать, что быстрый алгоритм MIMO-детекции работает с того же порога SNR, что и полный перебор. Обе модели выдали доказательство за полчаса, но верификация заняла пять дней. Главная проблема — «бутылочное горлышко» проверки.