Remix.run Logo
sobrey 3 hours ago

Not a mathematician.

The issue I see with a handed-over proof is tunnel-vision: you explore only the understanding of the proof.

Without a proof, your exploration branches out much further, in directions that could seem fruitless, but may uncover new understandings that are now "hidden" because the handed-over proof drastically lowered the incentives to find them.