These things definitely were considered valuable contributions pre-AI, but were perhaps second fiddle to proving theorems. For example, part of the reason Erdős is so acclaimed is that he posed many interesting open questions which have kept mathematicians busy for many years.

I think Tao's point is that there's a necessary rebalancing and more weight should now be given to the non-proof stuff.