Китайские математики выложили доказательство частного случая гипотезы Жиса — старой задачи из комплексной динамики. В поиске аргументов им помогала научная мультимодальная модель Intern-S2 из Shanghai AI Lab.
Тут без сказки про машину, которая ночью уволила кафедру. Модель перебирала длинные цепочки рассуждений и предлагала ходы, а люди выбирали, что проверять дальше, правили тупиковые ветки и собирали итоговую работу. Автор препринта отдельно пишет, что математику проверял сам.
Гипотеза Жиса связывает хаотичное, но строго устроенное движение с формой пространства, в котором оно возможно. На человеческий язык это переводится так: если система ведёт себя определённым «бурным» образом, пространство вокруг неё может оказаться куда жёстче и правильнее, чем кажется. Доказанный случай именно это ограничение и описывает.
Самое полезное в истории — не громкая табличка «ИИ решил математику». Здесь видно более земное применение: модель ускоряет поиск среди горы вариантов, где человеку не хватает времени на перебор. Но выбор верного направления и ответственность за доказательство пока никуда не делись.
Работу дополнительно перевели в Lean — систему, которая проверяет записанные логические шаги. Это сильная страховка от дыр в выкладках, но не волшебная печать: формальная проверка подтверждает запись доказательства, а не заменяет обсуждение результата математиками.
Препринт и код формализации открыты. В доступных материалах нет журнальной публикации, так что история уже интересная, но не финальная точка для сообщества.