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

За математиками оставался выбор общей стратегии доказательства. Они также отсекали бесперспективные пути, которые предлагал искусственный интеллект.

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

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

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