16 октября 2026 · Все новости
Китайские учёные использовали большую языковую модель искусственного интеллекта для решения математической задачи мирового уровня. Группа исследователей под руководством профессора Сюй Дишэна из Университета Большого залива и Шанхайской лаборатории ИИ доказала гипотезу французского математика Этьена Гиса для трёхмерного случая. Задача оставалась нерешённой более 30 лет.
В работе использовалась модель Intern-S2, созданная в Шанхайской лаборатории ИИ. Это первый случай, когда китайским исследователям удалось решить математическую задачу мирового уровня с помощью нейросети местной разработки.
Прорыв стал результатом сотрудничества человека и машины. Учёные задавали общее направление работы, оценивали значимость различных продуктов и определяли перспективные пути решения, а модель Intern-S2 выполнила полный цикл задач от логических рассуждений и взаимодействия с человеком до формальной верификации.
Модель проанализировала профильную научную литературу, разбила утверждение на отдельные задачи, параллельно исследовала различные варианты доказательства, проверила логические шаги и оперативно проверила множество возможных идей.
Шанхайская лаборатория ИИ планирует оформить этот рабочий процесс как многоразовый модуль математической верификации для своей платформы научных исследований.
Источник: 3DNews
