Not true. Novel mathematical methods precede their application by at least a decade and widespread use by about a century.

Calculus was invented in 1670, it was about 1680-1700 till it started actually being used in astronomy. The uptake was probably faster because at that time a lot of mathematicians were Astronomers as well.

There is a lot of mathematics created but we don’t yet know how to use it. My hope is that AI can bridge the search gap to accelerate this.