Článek jsem víceméně nečetl, protože nechci přemýšlet nad matematickými nuancemi.
Nicméně myslím si, že jediný exaktní důkaz by mohl provést kvantový počítač, pokud by se algoritmus testu podařilo převést na kvantově zpracovatelnou úlohu.
To právě asi ne. Kvantový počítač by mohl pomoci ověřit vyšší čísla, takže by mohl nalézt číslo, pro které neplatí. Ale dokázat platnost takto nelze. Na to bude asi potřeba matematický důkaz na úrovni kterou matematika zatím nedosáhla.