Inductive evidence from failed proof attempts presupposes that human mathematical ingenuity has adeq...