Согласно официальному объявлению OpenAI от 28 апреля и глубокому репортажу Scientific American от 24 апреля, была раскрыта математическая гипотеза Эрдёша, висящая 60 лет (номер #1196), с помощью флагманской модели рассуждений ChatGPT — GPT-5.4 Pro. В тот же день OpenAI через официальный Podcast пригласила исследователей Sébastien Bubeck и Ernest Ryu вместе с ведущим Andrew Mayne, чтобы официально разъяснить публике детали и значение произошедшего.
Главный герой события: Liam Price, 23-летний любитель
Решатель Liam Price, 23 года, без продвинутой математической подготовки, время от времени сотрудничает в исследованиях с второкурсником математического факультета Кембриджского университета Kevin Barreto. Price рассказывает: «Я не знаю, что это за задача — я просто иногда кидаю задачи Эрдёша ИИ и смотрю, что он выдаст».
Ход событий:
Price в один из понедельников в апреле 2026 года ввёл Erdős #1196 в GPT-5.4 Pro
После примерно 80 минут рассуждений модель выдала набросок доказательства
И ещё около 30 минут ушло на оформление в LaTeX-статью
Price разместил решение в форуме erdosproblems.com в thread #1196, отправив его на общественную проверку
Время публикации отчёта Scientific American — 24 апреля 2026 года; раскрытие OpenAI в Podcast от 28 апреля — это официальная версия объяснения на один неделю позже (после события).
Математический прорыв: связь между структурой целых чисел и теорией Марковских процессов, а Tao отмечает «первый шаг, который сделали люди-предшественники, был неверным»
Erdős #1196 относится к области исследований «primitive sets» (первичных множеств) — совокупностей целых чисел, таких что ни одно из них не делится на другое. Гипотеза Эрдёша гласит: когда элементы таких множеств стремятся к бесконечности, «Erdős sum score» будет опускаться ровно до 1.
Доказательство GPT-5.4 Pro использует маршрут «которого ранее не пробовали человеческие математики»: связывает структуру целых чисел (anatomy of integers) с теорией Марковских процессов. Этот междисциплинарный мостик ранее не лежал на пути исследований ни у кого.
Лауреат Fields, известный математик Terence Tao прокомментировал это событие парой фраз, которые широко цитируют:
«Эта задача немного отличается — люди действительно смотрели на неё, но те люди, которые смотрели, коллективно сделали небольшой неверный поворот на первом ходу.»(”This one is a bit different because people did look at it, and the humans that looked at it just collectively made a slight wrong turn at move one.”)
«Значимость этого вклада для исследования структуры целых чисел выходит далеко за пределы решения именно этой конкретной задачи Эрдёша.»(”That would be a meaningful contribution to the anatomy of integers that goes well beyond the solution of this particular Erdos problem.”)
Другой математик из Стэнфордского университета Jared Duker Lichtman, в свою очередь, заявил, что путь, выбранный ИИ, подтвердил его давнюю интуицию: между такими задачами существует «какое-то общее чувство единства».
Раскрытие OpenAI 4/28: Podcast-диалог и последующая верификация
В Podcast от 28 апреля OpenAI официально пригласила исследователя OpenAI Sébastien Bubeck и Ernest Ryu вместе с ведущим Andrew Mayne, чтобы обсудить «роль ИИ в математических исследованиях». Прямая цитата твита OpenAI: «Earlier this month, an Erdős problem that had been open for 60 years was solved with help from GPT-5.4 Pro. What happens now that AI is getting good at math?»
На момент сдачи материала в печать доказательство, представленное Price, всё ещё находится на стадии общественной проверки на форуме erdosproblems.com и не прошло официальное рецензирование; TheDecoder в репортаже от 15 апреля отметил, что «formal verification всё ещё продолжается». Раскрытие OpenAI сегодня в Podcast относится к уровню внешней коммуникации и не означает, что полная проверка математического доказательства уже завершена — читателям, желающим следить за развитием, стоит обратить внимание на thread #1196 на форуме Erdős Problems.
Эта статья GPT-5.4 Pro, решившая 60-летнюю гипотезу Эрдёша #1196, впервые появилась в Lianxin ABMedia.
Related News
Microsoft и OpenAI перезаключили соглашение: отмена эксклюзивности, удаление пунктов об AGI
OpenAI ChatGPT не достигла целевого показателя выручки, финансовый директор прямо признал, что расходы на вычислительные мощности могут оказаться не по силам to cover
OpenAI не достигла нескольких целей продаж, CFO ставит под сомнение готовность к выходу на биржу к концу года
Го Миньчэнь: OpenAI сотрудничает с MediaTek, Qualcomm и Luxshare Precision в разработке смартфонов, планируется начать серийное производство в 2028 году
Cerebras заключила с OpenAI соглашение на 20 млрд долларов, целевая оценка для IPO — 35 млрд