"birds" and "hedgehogs", I think people have to switch between the two even within themselves, most likely with a preference.

>von Neumann was a frog who thought he was a bird

If this switching is common, there should be well-known examples of birds who think they are frogs?? Maybe not Grothendieck either? It'd be somebody who can't help building theory to solve very specific problems..

May be something like this: https://en.wikipedia.org/wiki/Abc_conjecture#Claimed_proofs

If referring to Mochizuki, the following advice here for your consideration :)

"Call no work ranid unless it has been proven not very useful"

(Also avoids unnecessary ad hominems as a side effect heh)

I still can't figure out how can i derive/calculate the G constant based on purely maths.