What Is the Specific Mathematical Problem Solved by Miners in Bitcoin’s PoW?

Miners compete to find a "nonce" (a number used once) that, when combined with the block's data and hashed, produces a resulting hash that meets a specific target difficulty. This target is a number beginning with a certain number of zeros.

The process is trial-and-error, requiring immense computational power, making it a "proof" of work.