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 через подкаст — через неделю после этого.

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

Гипотеза Эрдёша #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