"One should not try to prove what is not already almost obvious" - Grothendieck
"One should not try to prove what is not already almost obvious" - Grothendieck
Does anyone know where this quote originated? I tried finding a source for it but usually its just straight up attributed to Grothendieck with no source.
Wanted to see the context because I find it kind of funny how Grothedieck is known for proving theorems which are significant and very non-trivial, so I was wondering if there was something more nuanced to this quote.
My understanding of algebraic geometry is less than bare minimum, but as I understand it he made new tools like étale cohomology and sheafs to solve famous problems/conjectures of his time.
The fact that he had to come up with these tools means they were incredibly non-obvious, unless by this quote he means that one should not tackle a problem directly but instead develop a familiarity with aspects of the problem to see it in multiple different lights (even inventing new "tools" if necessary) before tackling the problem head on.
P.S. I tried to post this to r/math but apparent not enough community karma :/ Any tips to reach the needed amount? Most posts are questions so most comments will be answers. I'm not really in a position to answer an r/math question. Also I posted on r/math and I've never been downvoted, so I'm not really sure what to do?