FYI there is "symbolic fitting" that crunch through all combination of equations to find the math equation for simple phycis laws. That seem to me is hackable, like inserting heuristics to speed up the process. That heuristics can be generated from LLM.