Китайские исследователи решили трёхмерную гипотезу Гиса с помощью отечественной модели ИИ
Команда под руководством профессора Университета Большого залива Сюй Дишэна совместно с научной моделью Intern-S2 Шанхайской лаборатории ИИ объявила о полном доказательстве трёхмерной гипотезы Гиса — задачи комплексной динамики, предложенной Этьеном Гисом в 1995 году и остававшейся нерешённой более 30 лет. Команда Пекинского университета независимо провела формальную машинную проверку всех ключевых теорем, сгенерировав сотни тысяч строк проверочного кода. Работа размещена на платформе препринтов, а код проверки полностью открыт, что делает её знаковым случаем вклада модели ИИ в крупное математическое доказательство.
ИСТОЧНИКИ
- Hacker News (AI)2026-10-18 20:19