The University of Minnesota is going to buy an “electric brain” that can solve mathematical problems too heavy for human gray ...