Formula 1 hopes AI will help it figure out if a car breaks track limits