Most interesting problems can't be solved by pure deduction. You need to construct things, and that is a leap of intuition (or LLM in case of AlphaGeometry).