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

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

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

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

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

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

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

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

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

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

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

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

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

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

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