Fox: AI lawnmowers cut grass — and potentially costs — in National Mall test run