Yes, but keep in mind that I'm purposfully comparing development RTL on the open-source side with finished silicon product on the proprietary side.

Many companies have production ready/fully verified IP that are much faster than XiangShan, but they haven't taped out and productized it yet.

E.g. Tenstorrent Ascalon IP is available and at 21 SPECint2006/GHz. They want to release a lower clocked devboard on TSMC 12nm in 2026 Q2.

XiangShan is currently at 15 SPECint2006/GHz, but are targeting 22 SPECint2006/GHz in the next iteration, that is currently in the works. Well have to see who gets there first.

The inherent gap between RTL design and final product may be large enough that open-source RTL can keep up in terms of IPC, if XiangShan continues their momentum. But I think open-source trailing 1-3 years is a more realistic long term outcome.

I've just seen a demo of a very high performance RISC-V chip (actual silicon) that'll blow the doors off other implementations. Under NDA of course.

Actually available for pre-order, take a look at the UltraRISC DP-1000 (unrelated to the chip above).

Excellent! But probably open-source implementations will also continue to improve.

Can you share any details? Like potential year of release?

That's actually the most NDA thing, since companies don't want to be held to a release date. However the fact they have fully functional engineering samples running in their offices now is very encouraging.