The case against symbolic AI and for optimization pressure · Digg