80 хвилин для розв'язання! 23-річний аматор за допомогою ChatGPT подолав 60-річну математичну задачу

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

Згідно з офіційним оголошенням OpenAI від 28 квітня та глибоким репортажем Scientific American від 24 квітня, 60-річна математична загадка Ердаша (#1196) була розв’язана за допомогою флагманської моделі GPT-5.4 Pro. У той же день OpenAI через офіційний подкаст із дослідниками Себастіеном Бубеком і Ернестом Рю та ведучим Ендрю Мейном офіційно пояснили деталі та значення події.

Головний герой події: 23-річний аматор Ліам Прайс

Розв’язувач Ліам Прайс, 23 роки, без поглибленої математичної підготовки, у вільний час іноді співпрацює з другим курсом студентом математичного факультету Кембриджського університету Кевіном Баррето. Прайс розповів: «Я не знаю, що це за задача — я просто іноді кидаю питання Ердаша в AI і дивлюся, що воно видасть.»

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

Математичний прорив: зв’язок цілочисельної структури через процес Маркова, Тау оцінює «перша помилка людських попередників»

Erdős #1196 належить до досліджень «примітивних множин» — групи цілих чисел, кожне з яких не ділиться на інше. Гіпотеза Ердаша: коли елементи такої множини прагнуть до нескінченності, «сума Ердаша» досягає максимуму рівного 1.

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

Відомий математик і лауреат Fields, Теренс Тао, широко цитує два його коментарі щодо цієї події. Він описує: «Ця задача відрізняється від інших — людство її бачили, але колективно зробили першу помилку», і додає: «Цей внесок у дослідження структури цілих чисел має значення, яке значно перевищує розв’язання саме цієї конкретної задачі Ердаша.»

Ще один математик із Стенфордського університету, Джаред Дукер Ліхтман, зазначає, що шлях, обраний AI, підтверджує його довгострокову інтуїцію: між цими проблемами існує «якась спільна єдність».

OpenAI 28/4 розкриває: подкаст із обговоренням і подальша перевірка

У подкасті OpenAI 28 квітня офіційно запросили дослідників OpenAI Себастіена Бубека і Ернеста Рю та ведучого Ендрю Мейна для обговорення «ролі AI у математичних дослідженнях». У твіті OpenAI зазначено: «На початку цього місяця за допомогою GPT-5.4 Pro було розв’язано 60-річну проблему Ердаша. Тепер AI вже добре розуміється на математиці, що буде далі?»

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

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