В КНР с помощью ИИ доказали математическую гипотезу, не решенную 31 год

Китайские исследователи с помощью искусственного интеллекта впервые доказали трехмерный случай гипотезы французского математика Этьена Жиса, которая оставалась недоказанной с 1995 года. Об этом сообщила "Шанхайская лаборатория ИИ".

Доказательство получила группа профессора Сюй Дишэна из Университета Большого залива (провинция Гуандун). Ученые использовали мультимодальную модель Intern-S2, разработанную шанхайской лабораторией. Математики взаимодействовали с ИИ: они задавали общее направление доказательства и отсеивали бесперспективные варианты рассуждений модели.

Результат проверила другая группа исследователей под руководством профессора Пекинского университета Дун Бина и академика Китайской академии наук Лю Жуочуаня. Статья опубликована на платформе препринтов arXiv, код выложен на GitHub. Работа пока не прошла рецензирование в научном журнале.

Гипотеза Жиса относится к системам упорядоченного хаоса, в которых точки в одних направлениях быстро разбегаются, а в других сближаются. Такие системы называют аносовскими, по имени советского математика Дмитрия Аносова.