Artificial-intelligence startups, like the makers of the “smart” web browser Dia, are being acquired for vast sums. But it’s ...