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

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

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

Доказательства гипотезы не было с 1995 года. Она касается упорядоченного хаоса: в рассматриваемых системах точки стремительно расходятся по одним направлениям и сходятся по другим. Название таких систем — аносовские — связано с именем советского математика Дмитрия Аносова.

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