> Есть класс математических задач, для которых нет алгоритма, решающего их за полиномиальное время
Это было понятно.

> если такой алгоритм появится для одной из них, он появится для всех
О! Вот это ново. Хотя вполне понятно.

> С тех пор никто не смог ни найти алгоритм для одной из этих задач, ни доказать, что такого алгоритма не существует, ни доказать, что утверждение, что такого алгоритма не существует, недоказуемо.
А, так вот в чём задача.

Спасибо большое, в голове многое прояснилось.