then your math problem has a proof of a certain length; otherwise it doesn’t. NP-completeness also assures us that certain advances in protein folding (or box packing or Sudoku solving ...

In Sudoku, the player fills empty boxes in a puzzle ... This is where all the math that has been and is still being invented ...