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