Almost everyone has the intuition that there must be some kind of "order" to prime numbers. But perhaps they are an example of what Wolfram calls "The Principle of Computational Irreducibility." We know how to test them, but not how to generate them efficiently.