Mathematics in the sense of a complete set of axioms can't, but human research into mathematics apparently just needed enough compute to achieve the same output

Mathematics in the sense of a complete set of axioms can't, but human research into mathematics apparently just needed enough compute to achieve the same output as a high-tier faculty.