Китайский исследователь Цзинь Шаньму смог решить гипотезу Крузейкса — математическую задачу, сформулированную более 20 лет назад. Необычно то, что Цзинь работает в области медицины, а разобраться в необходимой математике и подготовить доказательство ему помог ChatGPT.
Гипотеза Крузейкса относится к теории матриц и была предложена французским математиком Мишелем Крузейксом в начале 2000-х годов. Несмотря на сравнительно простую формулировку, получить ее полное доказательство специалистам до сих пор не удавалось.
О появлении решения стало известно практически случайно. Математик Корнельского университета Алекс Таунсенд сам экспериментировал с использованием моделей GPT для работы над гипотезой. Однако 30 июля ChatGPT сообщил ему, что задача уже была решена тремя днями ранее, после чего Таунсенд обнаружил работу Цзиня.
Рукопись китайского исследователя пока не прошла полноценное рецензирование. Тем не менее Таунсенд изучил доказательство и передал его профессору Вашингтонского университета Энн Гринбаум и самому Мишелю Крузейксу. По данным South China Morning Post, они подтвердили корректность предложенного решения.
Особый интерес вызывает подготовка самого автора. Цзинь получил первое образование в области геологии, позднее окончил медицинский вуз и сейчас занимается исследованиями транскраниального ультразвука. Специализированного математического образования у него не было, а ChatGPT он использовал в том числе для освоения необходимых методов.
Если доказательство успешно пройдет дальнейшую независимую проверку, работа станет одним из наиболее примечательных примеров использования генеративного ИИ в математических исследованиях. При этом речь идет не о полностью автономном решении задачи ChatGPT, а об использовании модели человеком в качестве исследовательского инструмента.
