Китайские учёные при помощи большой языковой модели искусственного интеллекта, которую разработали самостоятельно, нашли решение математической задачи мирового уровня. Событие охарактеризовали как важную веху в сфере научных открытий с использованием ИИ.
Источник изображения: Steve A Johnson / unsplash.com
Группа исследователей под руководством профессора Сюй Дишэна (Xu Disheng) из Университета Большого залива и Шанхайской лаборатории ИИ представила доказательство гипотезы французского математика Этьена Гиса (Étienne Ghys) для трёхмерного случая — задача оставалась неразрешенной более 30 лет. В работе использовалась модель Intern-S2, созданная в Шанхайской лаборатории ИИ. Это первый случай, когда китайским исследователям удалось решить математическую задачу мирового уровня с помощью нейросети местной разработки. Прорыв, отметили учёные, стал результатом сотрудничества человека и машины, реализованного в рамках технического подхода, который сочетает универсальные и специализированные возможности ИИ.
Формализацию доказательства провели две группы исследователей Пекинского университета с помощью разработанной ими системы SHEAF. Если упростить, предложенная в 1995 году французским математиком Этьеном Гисом гипотеза касается вопроса о том, может ли поведение хаотических динамических систем определять их геометрическую классификацию. Долгое время она оставалась одной из ключевых нерешенных задач в теории динамических систем и своего рода образцом для поверки способностей ИИ к…
