What Took Decades in Math Could Soon Take Days