Модель совпадает с формулировкой теоремы из рецензируемого журнала.
Иногда искусственный интеллект действительно помогает не столько «изобрести новое», сколько вспомнить забытое. Исследователь Openai Себастьян Бобек рассказал X, что GPT-5 Pro «закрыл» задачу номер 339 базы данных Эрдосов не за счет оригинального прорыва, а благодаря поверхностному поиску в литературе. По словам Бубека, модель нашла публикацию, которая уже содержала необходимый результат, хотя сама проблема в базе упоминалась как нерешенная.
Сама задача № 339 формулируется следующим образом. Пусть A — асимптотическая база строки r. Верно ли, что набор чисел, представленный в виде суммы ровно R полярно различных элементов A, имеет положительную нижнюю плотность. По состоянию на 12 октября 2025 г. страница задач на Erdosproblems.com была помечена как «Открытая».
Публикация с конкретной ссылкой появилась в обсуждении на форуме по базе на выходных. Пользователь указал, что желаемое утверждение следует из теоремы 4 статьи Хедьвари, Хеннекарта и Планя «Доказательство двух гипотез Эрдеша об ограниченном сложении и дальнейших результатах» в журнале Crelle за 2003 год, и что Именно GPT-5 Pro нашел этот источник даже по фото составаS Это иллюстрирует тезис Бюбека о «сверхчеловеческом» поиске в литературе, хотя формальное обновление условий задачи еще предстоит.
Сама публикация 2003 года доступна по библиографическим записям и указателям, что подтверждает точность ссылки из обсуждения. Если вывод теоремы 4 подтвердится независимыми специалистами, кураторы базы данных, скорее всего, изменят маркировку задач. До сих пор история кажется ярким примером того, как мощная лингвистическая модель заполняет пробелы в человеческой памяти и ускоряет навигацию в классической научной работе.
