🎉 ChatGPT наконец-то решил одну из проблем Эрдёша! И даже не одну!

Осенью прошлого года с OpenAI случился небольшой факап. В компании заявили, что ChatGPT решил десяток математических проблем Пала Эрдёша. Но оказалось, что просто нашли ранее опубликованные решения. А вот сейчас, похоже, ChatGPT все же смогла решить одну из задач!

Кто такой Пал Эрдёш? До прошлого года я про него не слышал. Но он оказался очень интересным и необычным математиком. Он путешествовал по миру с одним чемоданом, заявлялся к другим математикам без приглашения, чтобы писать научные работы. Я вам очень рекомендую почитать мой пост про Эрдёша и посмотреть фильм из того поста.

За свою жизнь Эрдёш сформулировал больше тысячи проблем разной сложности. За их решения он даже выплачивал вознаграждения. И математики до сих пор решают эти проблемы.

Сейчас речь пойдет про проблему 728. Именно ее решили с помощью искусственного интеллекта. В подробности самой проблемы вдаваться не будем — оставим это математикам.

Собственно, эту проблему решили студент Кембриджа AcerFur и Leeham. Они использовали несколько версий ChatGPT — GPT-5.2 Thinking и GPT-5.2 Pro. А еще математический AI Aristotel от Harmonic (это новый стартап основателя Robinhood Влада Тенева). Было несколько итераций с разными LLM, они исправляли, улучшали и упрощали доказательство. Вот здесь можно почитать подробности.

В итоге математиков решение устроило. Известный математик Теренс Тао, который среди прочих проверяет правильность решений, согласился, что задача решена. Его мнение про этот кейс можно почитать вот здесь.

Через несколько дней AcerFur и Leeham заявили, что решили еще одну проблему — 729-ю. Там просто был похожий принцип. И сейчас у этой проблемы тоже указан статус «решена». 10 января AI помог с проблемой 205. А буквально вчера математик и основатель стартапа Eclipse Нил Сомани написал у себя в X, что с помощью GPT-5.2 Pro и того же Aristotel смог решить проблему под номером 397.

Это ж получается, что теперь математики не нужны и ChatGPT может их заменить?

AcerFur про это пишет так: «Многие важные математические исследования значительно сложнее, чем легкодоступные задачи Эрдеша, привлекающие всеобщее внимание».

Так что еще не заменил. Но надо признать, что AI значительно продвинулся в решении математических проблем.

Подписывайтесь на Telegram The Edinorog 🦄.