I'm not making a maximalist argument; we might just be compatible here. But I'm not saying that life sciences will be accelerated solely because mathematics is advanced; I'm saying life sciences will be accelerated because the models make/accelerate discoveries in life sciences. The same mechanism that's enabling mathematics discoveries applies to other sciences, and while I get the sense that some people on this thread think of life science as bench science, an increasing amount of it is computational to begin with.