Start by asking whether the problem is theoretically solvable and feasible to do so. If it is, assume it’s already solved in an efficient and effective way that is both formally and informally verifiable. The acceleration then happens from the beginning, rather than kicking in whilst in progress or becoming apparent after the fact.