Is it? There was some discussion on HN a while ago that it is better than gpt4o but nothing about the competition and that seems quite doubtful compared to e.g. alphaproof.

Also, if "significantly ahead" just means "a few months ahead" that does not justify the valuation.

On benchmarks where it’s impossible to verify whether there’s contamination?

> that is significantly ahead

Perhaps, but at most generous, it’s three months ahead of competitors I imagine