AKS is a primality check in polynomial time, IE much faster than trial division. It's not "simple" for certain values of simple, but it's only 5 major steps.