Йдеться про китайського лікаря Кім Шаньму, який використав GPT-5.6-Sol для доведення гіпотези Круазе, висунутої у 2004 році. До цього математику він здебільшого вивчав самостійно.
Модель працювала автономно близько 16 годин і перебрала десятки тисяч гіпотез, перш ніж сформувати доказ. Його правильність підтвердили Мішель Круазе та інші математики.