Thomas Hales used computational methods that he would have wanted to apply to other problems, but his work did not create broadly new mathematics.

“And in Hales' case, I mean, there were some computational methods that he would have wanted to apply to other problems, but he was not inventing kind of like broadly new mathematics.”