We are already, I believe, using machines with near agency. And they have a central feature, I think. It is impossible to fully axiomitize an axiomatic systemem (Whitehead, Russell, Godel and others). The new bots are fierrcely logical, but their users — us—cannot fully understand them.
30 days ago