See here for some useful setup instructions. They key step is to add the Pico W board description to the Arduino IDE using this link: https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json