LLMs are great for this honestly. just drilling down proofs by asking "ok but why" until i find the absolutely most clear bedrock that resonates in my bones and working my way, by hand, back to whatever my first question was