In a world of superintelligent humans, the account of a quest to prove a theorem may take on a universality in its drama that seems inconceivable to … - J. Doyne Farmer

" "

In a world of superintelligent humans, the account of a quest to prove a theorem may take on a universality in its drama that seems inconceivable to us now. I believe that rational adventure is fundamental to the human spirit, and that it won't go away. But it will evolve of necessity to take place in the increasingly abstract domains that characterize the boundaries and frontiers of an evolving and ever more complex and abstract world. As a result, it will evolve into forms that are difficult for us to even think about at this point in time.