[nutjob2]

That's not true, the 'brute force' part is searching for a shortcut that works.

[numpy-thagoras]

The brute force got reduced down to fast heuristics, like Arthur Benjamin's Mathemagics.