I’m sceptical of this.

Winning IMO gold shows great mathematical intuition and creativity, but within a bounded and understood domain.

The jump from Olympiad tricks to genuine mathematical invention is vast, and I doubt we’re close to bridging it yet.