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

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

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

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

Відомий математик і лауреат Fields Medal Теренс Тау (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