Experiment shows that B depends on current,conductor geometry etc and I assume that Biot and Savart started with experimental results from geometries such as straight wires and solenoids and worked backwards to find a general equation that covers all integratable geometries.