Китайские учёные заявили, что с помощью собственной большой языковой модели Intern-S2 они нашли доказательство гипотезы Этьена Гиса для трёхмерного случая — решение, которое не удавалось получить на протяжении более чем 30 лет. В опубликованной работе отмечается, что результат получен при формальном доказательстве и был достигнут через сотрудничество человека и машины. Уроки проекта подчёркивают сочетание универсальных и специализированных возможностей искусственного интеллекта и подчёркнуто, что задача считалась одной из ключевых нерешённых в динамических системах. Источник указывает на участие группы под руководством профессора Сюй Дишэна из Университета Большого залива и Шанхайской лаборатории ИИ. sources: [9,10,12]},{

В ходе проекта две команды — одна из Шанхайской лаборатории ИИ и другая из Пекинского университета — применили разработанную ими систему SHEAF для формализации доказательства. По описанию, модель проводила логические рассуждения, взаимодействовала с учёными и проводила формальную верификацию доказательства, выполняя масштабные рекурсивные вычисления и итеративный поиск вариантов. Учёные подчёркнули, что человек задавал направление работы и принимал решения на ключевых этапах, а ИИ осуществлял разбор литературы, разбиение гипотез на задачи и проверку цепочек рассуждений. sources: [4,12,10]},{

Как отмечают участники проекта, платформа Shanghai AI Lab предусматривает модульную систему: большая языковая модель Intern-S2, ИИ-агентов, данные и реальное экспериментальное оборудование. По замыслу, модель выступает в роли научного ассистента, который контролирует этапы поиска и проверки в условиях реальных исследований. В частности, в одном из проектов она помогла сократить цикл разработки в области электрохимического синтеза — с 5–10 лет до 1–2 лет, что приводится как пример эффективности подхода. sources: [13,11]},{