1. Some of the "AI" proofs applied existing human work from lesser-known papers. AI proofs could solve the long-standing problem in math of almost all attention concentrating on less than 1% of authors. Human effort from the other 99% would have otherwise been wasted, which AI can rescue and give credit to thanks to its superhuman ability to match patterns across reams of text.

Humans may remain superior in spatial / non-verbal reasoning for a while longer yet, and, in the meanwhile, computers may aid us in collaborating to put that to use better.

2. AI-assisted, computer-verified proofs could further democratize mathematics by reducing the power of connections to get a reviewer to look at a journal submission. We can then also decouple the two tasks of

  a. Verifying a statement is true
  b. Explaining it

3. Searching for previous work and finding the edges of human knowledge are now easier. And we can leap across tedious terrain that the machine has the patience to plod through to find more interesting questions.