Китайский нейрохирург Цзинь Шаньму с помощью модели искусственного интеллекта GPT-5.6-Sol смог доказать гипотезу Круазе, над которой ученые работали с 2004 года. Как сообщает издание South China Morning Post, на это потребовалось всего 16 часов автономной работы модели.
Сам Цзинь Шаньму не имеет специального математического образования и изучал математику преимущественно самостоятельно. Несмотря на это, он использовал GPT-5.6-Sol для создания доказательства гипотезы, которая оставалась неразрешенной более двух десятилетий.
Доказательство, сформированное искусственным интеллектом, уже проверили автор гипотезы Мишель Круазе и другие математики. Они подтвердили правильность полученного результата. Однако формальная процедура рецензирования научной работы еще не завершена.
"Доказательство было проверено автором гипотезы Мишелем Круазе и другими математиками, которые подтвердили его корректность."
Об этом сообщает South China Morning Post со ссылкой на участников проекта.