Stephen Wolfram on AI, human-like minds & formal knowledge

od The Last Theory