Китайские учёные с помощью самостоятельно разработанной большой языковой модели Intern-S2 нашли решение математической задачи мирового уровня. Событие называют важной вехой в научных открытиях с использованием ИИ.
Группа под руководством профессора Сюй Дишэна из Университета Большого залива и Шанхайской лаборатории ИИ доказала для трёхмерного случая гипотезу Этьена Гиса. Задача оставалась нерешённой более 30 лет.
Это первый случай, когда китайские исследователи решили задачу такого уровня с помощью нейросети местной разработки. Результат назвали итогом сотрудничества человека и машины.
Гипотеза, предложенная французским математиком в 1995 году, касается того, может ли поведение хаотических динамических систем определять их геометрическую классификацию. Её считали ключевой нерешённой задачей теории динамических систем и своего рода тестом на математическое мышление ИИ.
Как распределили работу
Intern-S2 прошла полный цикл: от рассуждений и взаимодействия с человеком до формальной верификации.
Модель изучила профильную литературу, разбила утверждение на отдельные задачи, параллельно перебирала варианты доказательства и проверяла логические шаги.
Учёные задавали направление, оценивали значимость промежуточных результатов, выбирали перспективные пути и давали обратную связь.
Формализацию доказательства провели две группы исследователей Пекинского университета с помощью своей системы SHEAF.
Шанхайская лаборатория ИИ планирует оформить этот процесс как многоразовый модуль математической верификации для своей платформы научных исследований. В неё входят модель Intern-S2, ИИ-агенты, данные и реальное экспериментальное оборудование. В одном из проектов платформа сократила цикл разработки в электрохимическом синтезе с 5–10 до 1–2 лет.
Подход применим к физике, химии, биологии и смежным областям. По мнению учёных, роль ИИ будет расти: он возьмёт на себя масштабные рутинные задачи, включая проверочные расчёты, анализ литературы, разбиение гипотез на задачи и верификацию этапов исследований.
Контекст
ОпенAI ранее заявила, что её ИИ решил задачу о существовании и гладкости решений уравнений Навье — Стокса и более 100 других открытых задач. Заявления вызвали споры: 25 лауреатов Филдсовской премии предупредили о рисках для математики, а позднее нашли расхождения между текстовым и формализованным доказательствами OpenAI. Сам результат это не опровергает.