Исследователи из Университета Большого залива и Шанхайской лаборатории ИИ доказали гипотезу французского математика Этьена Гиса, остававшуюся нерешенной более 30 лет. Для работы ученые использовали собственную языковую модель Intern-S2, а формализацию доказательства провели специалисты Пекинского университета с помощью системы SHEAF.
Проект реализован через модель сотрудничества человека и машины. ИИ выполнял логические рассуждения, анализировал литературу и проводил итеративный поиск, в то время как ученые задавали направление и оценивали значимость промежуточных результатов. Это первый случай решения задачи мирового уровня китайской нейросетью.
Шанхайская лаборатория ИИ планирует превратить этот процесс в многоразовый модуль для своей исследовательской платформы. Система уже показала эффективность на практике: в проектах по электрохимическому синтезу она сократила цикл разработки с 5–10 до 1–2 лет.
Разработчики намерены применять данный подход в физике, химии и биологии. ИИ берет на себя рутинные задачи, такие как проверочные расчеты и разбиение гипотез на этапы, что позволяет ускорить научный поиск и расширить возможности исследователей.
