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