Тест Гёделя пройден: GPT-5 первым из ИИ создал новую математику вместо решения старых задач

GPT-5 впервые прошёл так называемый «тест Гёделя» и сумел доказать три крупных гипотезы в области комбинаторной оптимизации. Более того, в одном из случаев модель не просто справилась с задачей, но и предложила неожиданное решение, опровергнувшее исходную гипотезу. Этот результат стал настоящим сюрпризом для исследователей OpenAI.

Один из авторов работы, учёный Себастьян Бюбек, отметил, что на решение подобных задач у лучших аспирантов обычно уходит несколько дней. Впервые эксперимент был построен так, чтобы искусственный интеллект столкнулся не с задачами уровня олимпиад, а с открытыми математическими гипотезами. Проект вели совместно специалисты Университета Хайфы и компании Cisco.

Авторы статьи (полный текст доступен на arXiv) подготовили пять задач из области комбинаторной оптимизации, снабдив каждую лишь кратким описанием и ссылками на один-два источника. Для трёх относительно простых задач GPT-5 смог выдать почти безупречные доказательства, демонстрируя сильные навыки логического рассуждения.

Особенно показательным оказался второй пример. Вместо ожидаемого решения GPT-5 построил новый алгоритм, после проверки оказавшийся рабочим и более общим, чем исходное предположение. Таким образом, модель фактически опровергла первоначальную гипотезу и предложила альтернативный путь.

Исследователи отмечают, что в случаях, когда задача имела чёткий путь рассуждений, GPT-5 показывал высокую точность. Там, где требовалось объединять разные подходы или выстраивать более сложные доказательства, модель ошибалась. В частности, с двумя из пяти гипотез справиться не удалось, хотя в одном случае GPT-5 угадал алгоритм, но неверно провёл анализ.

Тем не менее результат называют историческим: впервые искусственный интеллект сделал шаг от «обучения математике» к реальному «созданию математики». Учёные связывают с этим событием начало глубокого преобразования научной парадигмы, которое может определять ход исследований уже в 2030-е годы.