if math is solved, then presumably the models a few generations from now might be constructed by math that humans have no hope of understanding
presumably once you solve math you also solve theories of deep learning / computation, which lets autoresearch move past deep learning