История с ChatGPT-5.4 Pro, якобы решившей одну из задач Эрдёша за 80 минут, выглядит как потенциально очень большой шаг для ИИ в математике. Если верификация подтвердит результат, это будет не просто очередной удачный пример работы модели, а событие, которое может войти в историю как один из первых случаев, когда языковая система реально закрыла открытую задачу из знаменитого списка Пала Эрдёша. Особенно важно здесь не само время решения, а характер найденной идеи. По описанию, модель обнаружила нетривиальную связь между теорией целых чисел и марковскими процессами - то есть не просто перебрала знакомые шаблоны, а вышла на неожиданное математическое пересечение. Именно такие моменты и вызывают самый серьёзный интерес у профессиональных математиков. Почему это очень важное событие Задачи Эрдёша - это не обычные учебные упражнения, а коллекция открытых проблем, с которыми математики живут десятилетиями. Некоторые из них давно считаются трудными именно потому, что в них нет очевидного пути к решению. Поэтому если модель действительно нашла доказательство, это означает не только вычислительную силу, но и способность предлагать новые связки между, казалось бы, далёкими областями. Ключевой акцент в этой истории - не на скорости, а на новизне. ChatGPT-5.4 Pro, по сообщениям, потратила около 80 минут на решение и ещё примерно 30 минут на оформление результата в LaTeX. Но ценность тут не в том, что модель быстро что-то написала, а в том, что она, вероятно, предложила структуру рассуждения, до которой люди не доходили годами. Почему здесь важна марковская идея Марковские процессы - это способ описывать системы, где следующее состояние зависит от текущего, но не от всей истории целиком. На первый взгляд такой инструмент кажется далёким от тонкой теории целых чисел. Но именно в этом и есть красота возможного прорыва. В том, что модель могла увидеть, что случайные переходы и структурные свойства чисел можно связать в единую схему рассуждения. Для математики такие неожиданные мосты часто оказываются решающими. Люди годами смотрят на задачу из одной области и не видят выхода, пока кто-то не приносит идею извне - из вероятностей, динамики, анализа или топологии. Если ИИ начал делать это системно, то это уже не просто помощь в вычислениях, а новый тип исследовательского инструмента. Что это меняет для спора об ИИ Этот кейс снова поднимает старый вопрос - могут ли языковые модели создавать по-настоящему новое знание, а не только собирать и перестраивать уже известное. Скептики часто утверждают, что модель лишь комбинирует фрагменты обучающих данных. Но если результат действительно подтверждён, то становится всё труднее отрицать, что внутри уже известных понятий может скрываться по-настоящему новая идея, которую человек просто не успел связать воедино. Именно поэтому подобные случаи так важны для науки. Даже один подтверждённый успех в такой области, как открытые математические задачи, меняет тон дискуссии. ИИ начинают рассматривать уже не только как помощника, но как возможного соавтора научного открытия. Что дальше Пока ключевое слово здесь - верификация. Формальная проверка решения ещё идёт, и именно она покажет, станет ли это историческим событием или останется сильным, но промежуточным результатом. Однако сама ситуация уже показала, насколько быстро меняется роль ИИ в науке. От инструмента для черновиков к системе, которая способна участвовать в поиске новых математических идей. Если проверка подтвердит результат, это будет не просто победа одной модели. Это будет сигнал, что ИИ постепенно входит в ту зону, где начинается не повторение человеческой математики, а её расширение.