The research reported on in our book "A=B", has moved a whole active field of mathematics from the province of human thought to the realm of computer-fodder. It is quite exciting to think about what other fields of pure mathematics, hitherto thought to be reserved to human intelligence, might be moved to that realm next. The goal is to put ourselves out of business completely, and the work is well underway.
We are moving away from the old idea of leadership - leadership has less to do (now) with heroism. We don't look for. . . unblemished omnipotent heroes, but leaders who are complex, dependent, changeable. . . We do not need one dominant authority structure telling all our inner voices to shut up.