Доказательство представила группа, которой руководит профессор Сюй Дишэн из Университета Большого залива в провинции Гуандун. В работе использовали Intern-S2 — мультимодальную модель, которую разработала шанхайская лаборатория.

Математики направляли поиск решения: выбирали общий путь к доказательству и исключали те варианты рассуждений ИИ, которые не давали перспектив.

Полученный результат проверили другие исследователи. Этой группой руководили профессор Пекинского университета Дун Бин и академик Китайской академии наук Лю Жуочуань.

С текстом работы можно ознакомиться на платформе препринтов arXiv, а с кодом — на GitHub. Рецензии научного журнала у статьи пока нет.

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

Источник: ТАСС