Grothendieck was the best in class at abstract mathematical reasoning and some regard him as the best mathematician in the 20th century. The Heron Formula or “prime” example doesn’t negate that