Hacker News new | ask | show | jobs
by mathgradthrow 717 days ago
The obvious proof term for isprime p is exponential compared to the size of p. The AKS proof term is polynomial, but still very bad.
1 comments
mathgradthrow 716 days ago
https://en.m.wikipedia.org/wiki/Primality_certificate
link