Математик Университета Торонто Дмитрий Панченко 29 октября опубликовал препринт с доказательством формулы Мезара—Паризи. В работе он прямо пишет: доказательство нашёл ChatGPT Astra. Панченко задал направление поиска, а полученный аргумент сам прочитал, проверил и переписал; Astra и Claude Fable помогали с переработкой текста.

Формула описывает свободную энергию определённых моделей спиновых стёкол — систем со случайными взаимодействиями — и связана со случайными задачами выполнимости логических условий K-SAT. Верхнюю границу ранее доказали другие исследователи. Новая работа предлагает недостающую нижнюю границу, снимая ограничение прежнего подхода на число возможных значений перекрытий между состояниями системы.

По объяснению автора, он попросил модель найти новое возмущение в его прежнем аргументе и упростить индукцию. То есть человек определил математическую проблему и направление, а ИИ предложил первоначальную версию нового хода доказательства.

Это не первое публичное заявление о решении: Панченко отдельно отмечает другой вариант OpenAI, который, по его оценке, использует иной подход. Статус остаётся препринтом: авторская проверка не равна завершённому независимому рецензированию.