Seems that 40 amps should be acceptable.I think you are misreading something. The Tesla standard mobile charger, that comes with the car has a max 32 amp OUTPUT. It plugs into a NEMA 14-50 receptacle connected to a 50 amp breaker. You need to size everything at 50 amps.
All the optional Tesla charger adapters match up with standard NEMA receptacles and branch circuits sizes.
Edited to add link:
https://shop.tesla.com/us/en/product/vehicle-accessories/model-s_x_3-gen-2-nema-adapters?tesref=true
Read the first *note under the table.