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