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