Hacker News new | past | comments | ask | show | jobs | submit
Guessing something and then confirming it is completely different from knowing the answer and then working towards it, especially for the kinds of problems that students solve in school. For the kind of proofs that working research mathematicians produce the hard part is not assuming that a Lemma is true, but already coming up with the correct definitions to formulate the Lemma in the first place is a delicate task.