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

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

Согласно официальному объявлению OpenAI от 28 апреля и глубокому репортажу Scientific American от 24 апреля, гипотеза Эрдеша, висящая 60 лет (#1196), была решена при помощи флагманской модели 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» (примитивных множеств) — это множество целых чисел, каждое из которых не делится на другое. Гипотеза Эрдеша гласит: при бесконечном росте элементов такого множества, максимум «Erdős sum fraction» снизится ровно до 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