«Тест Гёделя» для ИИ: может ли нейросеть делать научные открытия?

Исследователи из Университета Хайфы и Cisco Foundation AI разработали принципиально новый подход к тестированию больших языковых моделей. «Тест Гёделя», названный в честь знаменитого математика Курта Гёделя, оценивает не способность решать известные задачи, а потенциал для совершения научных открытий.

В отличие от традиционных бенчмарков, тест проверяет, может ли ИИ:
• формулировать новые математические гипотезы,
• находить оригинальные доказательства,
• предлагать контрпримеры к существующим утверждениям.

Эксперимент с GPT-5 на пяти задачах комбинаторной оптимизации показал смешанные результаты. Модель продемонстрировала:
✓ частичные успехи в трёх случаях,
✓ способность опровергнуть гипотезу и предложить альтернативу,
✗ неспособность работать со сложными концепциями из разных статей.

Авторы исследования — профессор Моран Фельдман и Амин Карбаси — подчёркивают, что текущие результаты хоть и не являются прорывом, но указывают на возможный путь создания ИИ, способного к настоящей научной работе.

Тест открывает новые перспективы для оценки интеллектуальных способностей ИИ, смещая фокус с воспроизведения знаний на создание нового.

#новости