So far works for me. For example Joshua vs Dubois highlight:

yt-dlp.exe -S vcodec:av01 -F https://www.youtube.com/watch?v=5ZJCDbszAE4

244     webm  854x480     25    │   17.02MiB  689k https │ vp09.00.30.08  689k video only          480p, webm_dash
609     mp4   1280x720    25    │ ~ 43.08MiB 1746k m3u8  │ vp09.00.31.08 1746k video only
247     webm  1280x720    25    │   30.53MiB 1236k https │ vp09.00.31.08 1236k video only          720p, webm_dash
614     mp4   1920x1080   25    │ ~ 70.25MiB 2847k m3u8  │ vp09.00.40.08 2847k video only
616     mp4   1920x1080   25    │ ~143.88MiB 5831k m3u8  │ vp09.00.40.08 5831k video only          Premium
248     webm  1920x1080   25    │   58.60MiB 2372k https │ vp09.00.40.08 2372k video only          1080p, webm_dash
394     mp4   256x144     25    │    1.70MiB   69k https │ av01.0.00M.08   69k video only          144p, mp4_dash
395     mp4   426x240     25    │    3.96MiB  160k https │ av01.0.00M.08  160k video only          240p, mp4_dash
396     mp4   640x360     25    │    7.51MiB  304k https │ av01.0.01M.08  304k video only          360p, mp4_dash
397     mp4   854x480     25    │   13.14MiB  532k https │ av01.0.04M.08  532k video only          480p, mp4_dash
398     mp4   1280x720    25    │   23.01MiB  931k https │ av01.0.05M.08  931k video only          720p, mp4_dash
399     mp4   1920x1080   25    │   43.07MiB 1743k https │ av01.0.08M.08 1743k video only          1080p, mp4_dash

As you can see, the bottom are 399, 398, 397, 396, etc., all AV1 formats. Last is 399 which is 1080p. The last on the list is the one would be downloaded, especially if you have FFmpeg.