алгоритм Claude Fable — грубую линейную оценку с округлением и последующими жадными переворотами битов — и попросил GPT исправить его доказательство, которое было "в основном ошибочным, но поддающимся исправлению". Затем он провел пять дней, итеративно работая с обеими моделями, чтобы упростить аргумент до проверяемой формы, отвергая любые шаги, которые не мог проследить, несмотря на допустимость худших констант. Финальное доказательство элементарно и опирается на известные методы 2010-х годов. Однако результат еще не прошел рецензирование, а идеализированная модель канала означает, что это не улучшит реальные маршрутизаторы. Папаилиопулос также предполагает, что модели дистиллируют коллективную человеческую интуицию, и что многие заброшенные проблемы ждут подобных решений.