12x - Autor dôkazu P != NP tvrdí, že ho opravil