This hypothesis is called the Cobham–Edmonds thesis.
What hypothesis is associated with the complexity class of P viewed as a mathematical abstraction with efficient algorithmic functionality?
Cobham–Edmonds thesis