Mainframes are generally not considered to be particularly AI-capable. IBM wants to prove this wrong with the new z17.