80 минут разгадки! 23-летний любитель с помощью ChatGPT решил математическую задачу, не решённую 60 лет

Молодой 23-летний любитель без формальной математической подготовки, с помощью GPT-5.4 Pro, разгадал математическую гипотезу Эрдеша, висящую 60 лет (#1196). Эта модель посредством междисциплинарного процесса Маркова связала структуру целых чисел и предложила путь доказательства, ранее не предпринятый человеком.

Согласно официальному объявлению OpenAI от 28 апреля и глубокому репортажу Scientific American от 24 апреля, гипотеза Эрдеша, висящая 60 лет (#1196), была решена при помощи флагманской модели рассуждений GPT-5.4 Pro. В тот же день OpenAI через официальный подкаст, в котором участвовали исследователи Себастьен Бубек и Эрнест Рю, а ведущий — Эндрю Мейн, официально объяснили детали и значение этого события.

Главный герой события: 23-летний любитель Liam Price

Решающий задачу Liam Price, 23 года, без продвинутой математической подготовки, обычно сотрудничает с студентом второго курса математического факультета Кембриджского университета Кевином Баррето. Price рассказывает: «Я не знал, что это за задача — я просто иногда задаю AI вопрос о гипотезе Эрдеша, чтобы посмотреть, что он выдаст.»

В один из понедельников апреля 2026 года он отправил поток по гипотезе Эрдеша #1196 輸入 GPT-5.4 Pro，模型約 80 分鐘推理後給出證明思路，他再花約 30 分鐘把模型輸出整理為 LaTeX 論文，最後貼上 erdosproblems.com 論壇 #1196 на рассмотрение сообществу. Глубокий репортаж Scientific American был опубликован 24 апреля, а официальный подкаст OpenAI — 28 апреля, через неделю после события.

Матемический прорыв: связывание структуры целых чисел через процесс Маркова, Тау оценивает «первый шаг человечества был ошибочным»

Гипотеза Эрдеша #1196 относится к области исследований «примитивных множеств» — групп целых чисел, в которых ни одно число не делит другое. Гипотеза Эрдеша гласит: при бесконечном росте элементов таких множеств, максимальное значение «суммы Эрдеша» стремится к ровно 1.

Доказательство GPT-5.4 Pro использует «подход, ранее не предпринятый человеческими математиками»: связывает структуру целых чисел (анатомию целых чисел) с теорией процессов Маркова. Этот междисциплинарный мост ранее не входил в исследовательский путь никого.

Победитель Fields, известный математик Терренс Тао (Terence Tao), широко цитируется с двумя комментариями по этому событию. Он описывает: «Эта задача отличается от других — люди действительно её видели, но коллективно сделали ошибку на первом шаге», и добавляет: «Этот вклад имеет гораздо большее значение для исследования структуры целых чисел, чем просто решение конкретной гипотезы Эрдеша.»

Другой математик из Стэнфордского университета, Джаред Дукер Лихтман (Jared Duker Lichtman), заявил, что путь, выбранный AI, подтвердил его долгосрочную интуицию: между такими задачами существует «какое-то общее единство».

OpenAI 28/04 раскрытие: подкаст-интервью и последующая проверка

В подкасте OpenAI 28 апреля официально пригласили исследователей Sébastien Bubeck и Эрнеста Рю, а также ведущего Эндрю Мейна, обсудить «роль AI в математических исследованиях». В твите OpenAI говорится: «В начале этого месяца гипотеза Эрдеша, висящая 60 лет, была решена при помощи GPT-5.4 Pro. Теперь AI умеет математику — что будет дальше?»

На момент написания статьи доказательство, представленное Price, все еще находится на стадии проверки сообществом на форуме erdosproblems.com, и не прошло официальной рецензии; по сообщению TheDecoder от 15 апреля, «формальная проверка все еще продолжается». Публикация в подкасте OpenAI — это уровень внешней коммуникации и не означает, что полное математическое доказательство прошло проверку — для отслеживания дальнейших событий можно следить за веткой #1196 на форуме Erdős Problems.

• Эта статья опубликована с разрешения: «Цепочка новостей»
• Оригинальный заголовок: «23-летний любитель с ChatGPT решил 60-летнюю математическую задачу: разгадка за 80 минут»
• Автор оригинала: Elponcrab