they should point their AI swarm at quantum gravity now

(only half tongue-in-cheek)

The problem here is experimental evidence, which is the general reason they focus on mathematics.