If he was doing olympiads in high school, he was already doing proof-based math then.

I think Terry Tao describes the stages of mathematical maturity really well: https://terrytao.wordpress.com/career-advice/theres-more-to-...