> Miners are actually just trying to find a specific number called a nonce that when hashed together with the rest of the block header respects a specific constraint
What you're describing here is one particular Proof-of-Work algorithm called Hashcash. There are several others as I explain at