Почему легендарные задачи Эрдёша поддаются искусственному интеллекту

Искусственный интеллект продолжает удивлять математиков. 20 мая 2026 года компания OpenAI сделала заявление, которое всколыхнуло всё научное сообщество. Внутренняя модель ИИ, недоступная для широкой публики, нашла контрпример к задаче «единичного расстояния» — гипотезе, которую в 1946 году выдвинул венгерский математик Пол Эрдёш. Этот вопрос был особенным: его легко объяснить, но за кажущейся простотой скрывается огромная глубина. Результат ИИ стал первым исторически значимым доказательством, полученным с помощью машинного обучения. Модель не выдала окончательное решение — математики-люди существенно улучшили его за несколько недель, — но подход оказался новаторским: использовались идеи из далёкой области математики, которые раньше никто не применял к этой задаче. Более того, уже через несколько дней аналогичные методы помогли решить другие важные проблемы.

Затем, 1 августа, OpenAI объявила о новых успехах. Ещё не выпущенная модель Astra достигла десяти дополнительных математических прорывов, включая решения трёх задач, поставленных Эрдёшем. Многие исследователи восприняли это как фазовый переход в возможностях искусственного интеллекта. По словам Ноги Алон из Принстонского университета, которая за свою карьеру решила десятки задач Эрдёша, такие модели «радикально меняют подход к проведению математических исследований».

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