It depends how this all goes. Mathematical proofs no one understands or can verify aren't that worthwhile. Also a world where people get proofs or solutions with no self exploration doesn't bode well for the future of human driven mathematics. Humanity may have to come to grips with the idea that it is no longer the most intelligent on the earth.