Unsolved Problems That AI Could Solve