> That's programming language work for physical theory

Well, that would be insanely valuable since it would open up theoretical physics to machine-approaches (AI/ML). I know many are disgusted by this, but I'd love to see a PhysicalTheory-fold equivalent of Alpha-fold chew throw all modern theoretical physics and rank all theories on a possiblity-probability score or sh like that, since the amount of stuff a human would have to go through is already too much...