While artificial intelligence has made remarkable gains in mathematics, its well-chronicled shortcomings in the subject ...