[tylerneylon]

PS After I wrote my comment, I realized: of course, AI could one day get better at the things that make it not-perfect in pure math today:

* AI could get better at thinking intuitively about math concepts. * AI could get better at looking for solutions people can understand. * AI could get better at teaching people about ideas that at first seem abstruse. * AI could get better at understanding its own thought, so that progress is not only a result, but also a method for future progress.