Китайские математики с помощью ИИ решили задачу, не поддававшуюся с 1995 года

Важно, что доказательство стало результатом совместной работы людей и нейросети, а не самостоятельного решения задачи моделью.

Добавить в основные
источники Google

Ученые в Китае с помощью искусственного интеллекта (ИИ) смогли решить задачу, которая оставалась нерешенной более 30 лет, сообщила «Шанхайская лаборатория ИИ».

Речь идет о гипотезе французского математика Этьена Жиса, которая была сформулирована в 1995 году. Гипотеза описывает так называемый упорядоченный хаос в аносовских системах (названных в честь советского математика Дмитрия Аносова). Суть этих систем заключается в том, что в пространстве состояний по одним направлениям близкие точки быстро удаляются друг от друга, а по другим – сближаются.

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

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

Ранее сообщалось, что китайский ИИ решил математическую задачу, которую не могли разгадать более 10 лет. Задача в области коммутативной алгебры была сформулирована в 2014 году математиком Дэном Андерсоном из Университета Айовы. Все эти годы специалисты пытались ее разгадать, но безуспешно.