Математик Гарвардского университета Марк Кисин 28 октября опубликовал препринт с доказательством гипотезы Жан-Пьера Серра, сформулированной в 1960 году. Кисин сообщает, что широко использовал GPT Astra и для поиска доказательств, и для первого варианта текста. Проверка и доработка аргументов, по его словам, потребовали значительных человеческих усилий.

Гипотеза касается симметрий алгебраических объектов. Она утверждает, что определённый числовой способ описать неподвижные точки этих симметрий соответствует их действию на линейном пространстве — образует так называемый характер Артина. Для одного класса объектов результат уже получил Томоюки Абе. Кисин предлагает доказательство остававшегося случая смешанной характеристики, дополняющее прежний результат.

В рукописи описан путь через деформацию исходного объекта: его изменяют так, чтобы сохранить нужные числовые характеристики неподвижных точек и применить ранее полученную формулу других математиков. Это новое доказательство открытого случая, тогда как недавно описанная работа Axiom переводила уже известную классификацию групп в машинно проверяемую форму.

На Hexagon Кисин указал, что понимает все части работы. Это авторская проверка: сведений о завершённом внешнем рецензировании или формальной проверке доказательства на платформе нет. Препринт показывает конкретный исследовательский результат и заявленный вклад языковой модели; он не устанавливает, что GPT Astra решила задачу самостоятельно или что проверку математиком теперь можно пропустить.