GP5000, in either tubeless or tubed forms are pretty much top of their respective classes as the fastest tyres that have good enough mileage/puncture resistance for everyday use (loads of data at https://www.bicyclerollingresistance.com/). I would however go for something with more tread if you’re planning on encountering lots of wet/slippery or especially some icy conditions. Personally, I consider 28mm plenty big enough for roads unless they’re in a terrible state – but this can also be a personal thing.
Tubeless tyres have lower rolling resistance than tubes ones but we’re talking ~4W difference (compared to quality butyl tubes) for two tyres at 30km/h for a 80kg ish rider. They’re a bit of a PITA to install and you’d need to check that the rims can cope with the projected tyre pressures without tubes (it’s a real thing – the spokes can go slack on wider gravel rims for this kind of setup!).
Latex tubes are faster than butyl ones, but they’re a bit more delicate and you need to reinflate them pretty much every day as air gases are more soluble in latex rubber than butyl rubber.
I’m sure someone will be along soon to bash you with aero stats though.
I suspect that woke aerodynamicists factor in what happens on the trailing edges of stuff.
To actually get decent aero gains would involve using aero clip-ons, then you might be more comfortable with a larger tyre on the front than on the rear.
I believe GP4000S II or GP 4000 RS are more aero than GP5000