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