logoalt Hacker News

sobreyyesterday at 10:45 PM0 repliesview on HN

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.