This is only what he has achieved on Codeforces; when we examine his achievements in other areas, we can still be surprised.
For example, on the AtCoder, he has been rank#1 in AGC for 3 times yet.
And the 4th place in AGC061; and rank 1/2 in ARC for countless times.
He has been the youngest LGM in the history of Codeforces so far. (I mean the age when he reached LGM. Sorry for the confusion it has made.)
In the ZJOI 2022, he reached rank 1 in Zhejiang, one of the best provinces on CP in China.
In the CNOI 2023, he got 669pts in the 1st place, while the one in the 2nd place got only 614pts(55pts less than him!), which is amazing.
In the near future, he'll definitely represent China in participating in the IOI.
From ISIJ to APIO, from Codeforces to AtCoder, from ZJOI to CNOI, orzdevinwang has become a dazzling star, inspiring us to continue moving forward.
In my opinion, he's the one who has the greatest possiblity to reach 4000 firstly in the world, and surely will achieve it in 1 year.
(The 4000 means rating here without any doubt. Never asks such meaningless questions anymore. AmA)