GPT-5.4 Pro 解 60 年 Erdős 猜想 #1196

Согласно официальному объявлению 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.

Отказ от ответственности: Информация на этой странице может поступать от третьих лиц и не отражает взгляды или мнения Gate. Содержание, представленное на этой странице, предназначено исключительно для справки и не является финансовой, инвестиционной или юридической консультацией. Gate не гарантирует точность или полноту информации и не несет ответственности за любые убытки, возникшие от использования этой информации. Инвестиции в виртуальные активы несут высокие риски и подвержены значительной ценовой волатильности. Вы можете потерять весь инвестированный капитал. Пожалуйста, полностью понимайте соответствующие риски и принимайте разумные решения, исходя из собственного финансового положения и толерантности к риску. Для получения подробностей, пожалуйста, обратитесь к Отказу от ответственности.
комментарий
0/400
Нет комментариев