Symbolic regression models have been proposed to aid in the discovery of physical laws, but they currently suffer from limitations about scalability and the enforcement of physical unit consistency.

Everyone already uses computers in physics. At the very least, students use handheld calculators (I doubt anyone is still using a slide-rule calculator). Also, it's becoming more common to have ...