22 года в забвении и «сверхчеловеческий» поиск. GPT-5 Pro нашла забытое доказательство задачи Эрдёша
NewsMakerМодель сопоставила формулировку с теоремой из рецензированного журнала.
Иногда искусственный интеллект действительно помогает не столько «придумывать новое», сколько вспоминать забытое. Исследователь OpenAI Себастьен Бюбек рассказал в X , что GPT-5 Pro «закрыла» задачу № 339 из базы Эрдёша, причём не за счёт оригинального прорыва, а благодаря сверхэффективному поиску по литературе. По словам Бюбека, модель нашла публикацию, где нужный результат уже содержался, хотя сама задача в базе значилась открытой.
Сама задача № 339 сформулирована так. Пусть A — асимптотический базис порядка r. Верно ли, что множество чисел, представимых в виде суммы ровно r попарно различных элементов из A, имеет положительную нижнюю плотность. По состоянию на 12 октября 2025 года страница задачи на erdosproblems.com отмечена как «OPEN».
В обсуждении на форуме базы в выходные появилось сообщение с конкретной ссылкой. Пользователь указал, что нужное утверждение следует из теоремы 4 статьи Hegyvári, Hennecart и Plagne «A proof of two Erdős’ conjectures on restricted addition and further results» в журнале Crelle за 2003 год, и добавил, что именно GPT-5 Pro нашла этот источник даже по картинке с формулировкой. Это хорошо иллюстрирует тезис Бюбека о «сверхчеловеческом» поиске по литературе, хотя формальное обновление статуса задачи ещё впереди.
Сама публикация 2003 года доступна по библиографическим записям и индексам, что подтверждает корректность ссылки из обсуждения. Если вывод из теоремы 4 подтвердится независимыми специалистами, кураторы базы, вероятно, изменят метку задачи. Пока же история выглядит как показательный кейс того, как мощная языковая модель закрывает пробелы человеческой памяти и ускоряет навигацию по классическим работам.
Иногда искусственный интеллект действительно помогает не столько «придумывать новое», сколько вспоминать забытое. Исследователь OpenAI Себастьен Бюбек рассказал в X , что GPT-5 Pro «закрыла» задачу № 339 из базы Эрдёша, причём не за счёт оригинального прорыва, а благодаря сверхэффективному поиску по литературе. По словам Бюбека, модель нашла публикацию, где нужный результат уже содержался, хотя сама задача в базе значилась открытой.
Сама задача № 339 сформулирована так. Пусть A — асимптотический базис порядка r. Верно ли, что множество чисел, представимых в виде суммы ровно r попарно различных элементов из A, имеет положительную нижнюю плотность. По состоянию на 12 октября 2025 года страница задачи на erdosproblems.com отмечена как «OPEN».
В обсуждении на форуме базы в выходные появилось сообщение с конкретной ссылкой. Пользователь указал, что нужное утверждение следует из теоремы 4 статьи Hegyvári, Hennecart и Plagne «A proof of two Erdős’ conjectures on restricted addition and further results» в журнале Crelle за 2003 год, и добавил, что именно GPT-5 Pro нашла этот источник даже по картинке с формулировкой. Это хорошо иллюстрирует тезис Бюбека о «сверхчеловеческом» поиске по литературе, хотя формальное обновление статуса задачи ещё впереди.
Сама публикация 2003 года доступна по библиографическим записям и индексам, что подтверждает корректность ссылки из обсуждения. Если вывод из теоремы 4 подтвердится независимыми специалистами, кураторы базы, вероятно, изменят метку задачи. Пока же история выглядит как показательный кейс того, как мощная языковая модель закрывает пробелы человеческой памяти и ускоряет навигацию по классическим работам.