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

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

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

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

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

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

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

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

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

  • Ця стаття опублікована з дозволу: «Лінь новин»
  • Оригінальна назва: «23-річний аматор за допомогою ChatGPT розв’язав 60-річну математичну задачу: розгадка за 80 хвилин»
  • Автор оригіналу: Elponcrab
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • Прокоментувати
  • Репост
  • Поділіться
Прокоментувати
Додати коментар
Додати коментар
Немає коментарів
  • Закріпити