Учёные из Китая доказали математическую гипотезу с помощью ИИ

16 октября 2026 · Все новости

Китайские учёные использовали большую языковую модель искусственного интеллекта для решения математической задачи мирового уровня. Группа исследователей под руководством профессора Сюй Дишэна из Университета Большого залива и Шанхайской лаборатории ИИ доказала гипотезу французского математика Этьена Гиса для трёхмерного случая. Задача оставалась нерешённой более 30 лет.

В работе использовалась модель Intern-S2, созданная в Шанхайской лаборатории ИИ. Это первый случай, когда китайским исследователям удалось решить математическую задачу мирового уровня с помощью нейросети местной разработки.

Прорыв стал результатом сотрудничества человека и машины. Учёные задавали общее направление работы, оценивали значимость различных продуктов и определяли перспективные пути решения, а модель Intern-S2 выполнила полный цикл задач от логических рассуждений и взаимодействия с человеком до формальной верификации.

Модель проанализировала профильную научную литературу, разбила утверждение на отдельные задачи, параллельно исследовала различные варианты доказательства, проверила логические шаги и оперативно проверила множество возможных идей.

Шанхайская лаборатория ИИ планирует оформить этот рабочий процесс как многоразовый модуль математической верификации для своей платформы научных исследований.