> The use of proprietary internal models by AI labs to do mathematical research risks creating a two-tier system where labs outrun the rest of the field

This is literally the economic bet of the big labs in the broader economy. You use your relative advantage to front run or outcompete.

I'm not sure this argument will work given it is essentially an argument against the thesis the big labs use to justify their valuations.