Thomas Hales' techniques were fairly elementary, a characterization he himself acknowledged.

“In a certain sense, the techniques he used were like fairly elementary. He himself kind of acknowledges that. So he was not creating new math in the same way that like Andrew Wiles had to create new math when he solved Fermat's Last Theorem, where he had to like invent some very like powerful new concepts that just opened up entirely new branches of the field.”