Китайские ученые с помощью ИИ доказали гипотезу Жиса спустя 31 год
Трехмерный случай гипотезы французского математика Этьена Жиса доказан исследователями из Китая с применением искусственного интеллекта. Задача оставалась нерешенной с 1995 года, сообщила Шанхайская лаборатория искусственного интеллекта. Данную информацию сообщает портал Science XXI.
Над доказательством работала группа профессора Сюй Дишэна из Университета Большого залива в провинции Гуандун. Ученые использовали мультимодальную модель Intern-S2, разработанную в Шанхае, и взаимодействовали с ней: определяли общее направление доказательства и отсекали бесперспективные варианты рассуждений системы.
Результат проверила команда профессора Пекинского университета Дун Бина и академика Китайской академии наук Лю Жуочуаня. Статья размещена на платформе препринтов arXiv, программный код опубликован на GitHub. Работа пока не прошла рецензирование в научном журнале.
Гипотеза Жиса относится к системам упорядоченного хаоса, в которых точки быстро расходятся по одним направлениям и сближаются по другим. Такие системы называют аносовскими — по имени советского математика Дмитрия Аносова.
