GPT-5.4 Pro взломала 60-летнюю задачу Эрдеша. Теперь этот метод решает другие проблемы

GPT-5.4 Pro решила задачу Эрдеша - и это оказалось не разовым трюком

В середине апреля появилась громкая история: GPT-5.4 Pro под руководством математика Джареда Лихтмана за полтора часа нашла доказательство задачи Эрдеша №1196, открытой с 1968 года.

Но самое интересное началось после.

Лихтман анонсировал новую статью, где показал: это доказательство, уже доработанное человеком, стало ключом к еще нескольким задачам Эрдеша. Среди них есть проблема, которая тоже оставалась открытой около 60 лет.

Почему это важно?

Потому что модель не просто перебрала известные приемы. Она предложила необычный ход: рассматривать элементы примитивного множества через цепи Маркова. До этого в литературе в основном шли другим путем - через жесткие аналитические оценки и комбинаторные разбиения.

То есть AI не просто «угадал ответ». Он подсветил метод, который начал работать шире одной конкретной задачи.

Лихтман сформулировал это очень точно:

«Это, пожалуй, один из первых примеров доказательства, созданного искусственным интеллектом, которое дало последующий эффект, и мы все еще изучаем его последствия».

Вот здесь и начинается настоящая история про AI в науке.

Не когда модель решает одну задачу ради заголовка. А когда ее идея начинает переноситься на соседние проблемы.

x.com/jdlichtman/status/2050460077904285789?s=46&t=pKf_FxsPGBd_YMIWTA8xgg