Даже имея под рукой самой... «Квантовое превосходство: Революция в вычислениях, которая изменит всё»
Даже имея под рукой самой мощный в мире компьютер, невозможно доказать все истинные утверждения в математике за конечное время при заданном наборе аксиом.