> human beings distracted from the real task at hand (eliminating poverty, hunger, human suffering) as usual.

We've already had this solved for a long time, but nobody has implemented it yet. Automating math isn't going to get us closer.