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

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

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

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

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

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

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

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

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

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

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

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

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

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

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