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.