Is that not the same as saying maths is solved thanks to spreadsheets/excel? All of science and technology is to some extent automation and increased speed of what used to be slow and laborious.
My sincerest response is that we are now post-moore's-law[1]; instead of "transistor density doubling every 18 months," I have (over the past year of Perplexity.AI) more of the belief that "global intelligence will double every 18 months."
Just my ¢¢ half-sanity.
[1] Isn't a single hydrogen diatom just 1nm wide? How much smaller can transistor gates be safely assembled? Didn't we physically stop getting physically smaller around 14nm?
Quoting a PhD immunologist from Texas, who uses AlphaFold daily.