ИИ 16 октября 2026, 11:55 МСК

Китайская модель Intern-S2 помогла доказать гипотезу Гиса для трёхмерного случая

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

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

Модель анализировала литературу, разбивала утверждение на подзадачи, параллельно перебирала варианты доказательства и проверяла логические шаги, а учёные задавали направление и принимали ключевые решения. Формализацию доказательства провели две группы Пекинского университета с помощью системы SHEAF.

Шанхайская лаборатория планирует оформить этот процесс как модуль математической верификации для своей научной платформы. Для контекста: ранее OpenAI заявляла о решении задачи об уравнениях Навье — Стокса и более чем 100 других открытых задач, но эти заявления вызвали споры в научном сообществе.

• Гипотеза Гиса 1995 года, трёхмерный случай
• Формализацию выполнила система SHEAF
• Модель создана в Шанхайской лаборатории ИИ