they should point their AI swarm at quantum gravity now
(only half tongue-in-cheek)
(only half tongue-in-cheek)
Merely providing a mathematical possible solution that satisfies all known behaviors would be a tremendous step forward.
We don't actually "know" anything about EM, by example, except how to describe its behaviors in all physically observable instances. Radios work reliably with current. Supernovae behave comprehensibly. Photons carry predictable energies. However, long before we knew there were supernovae, or even photons, Maxwell said pretty much all we know about EM behavior.
Testable, purely theoretical hypotheses are partly how the field advances. Proof is often quite difficult & expensive.