I have been reading about a machine that observed a double pendulum and created equations that both described its motion and associated conservation laws. The authors claims:
We have developed a technique for extracting the laws of nature from experimental data by identifying invariant and conservation equations. We demonstrated this approach by automatically searching motion-tracking data captured from various physical systems, ranging from simple harmonic oscillators to chaotic double-pendula. Without any prior knowledge about physics, kinematics or geometry, the algorithm discovered Hamiltonians, Lagrangians, and other laws of geometric and momentum conservation.
This appears remarkable, not least because it took Humans thousands of years to discover these same facts. Are such machines being used in more difficult areas such as quantum gravity or string theory?