AI software has collaborated with mathematicians to successfully develop a theorem about the structure of knots, but the suggestions given by the code were so unintuitive that they were initially ...