Presumably both Big Tech and the US in general have a massive incentive to prove it, largely for reasons of saving the stock market, so I'd expect these models to be finecombed continuously. Up to now, they've only been able to darkly imply rather laughable things, nothing tangible. If there was something, we'd hear about it.
Why would it save the stock market? Cheaper models if anything transfers more value to hardware companies and datacentre companies. The two companies that would be most affected are OpenAI and Anthropic, which aren't public.
The two biggest providers deepseek compete with (OpenAI and Anthropic) aren’t in the stock market.
The stock market seems much more likely to benefit from access to cheap and self-hostable models than it is to suffer from OpenAI/Anthropic losing to competition