An AI assistant helped University of Colorado Boulder researchers solve a mathematical problem that had challenged their lab for a year and a half, though it made subtle errors along the way. The ...