They did, but here’s the quick back story..

It was originally called Kaufman Peak but was renamed Lenin Peak in 1928 - former soviet times.

Since it straddles the border with Tajikistan from that side it’s called Ibn Sina Peak, or Avicenna Peak after renaming in 2006.

From the Kyrgyz side it is still officially called Lenin Chosku although in 2017 the Kyrgyz President called for it to be renamed Manas Peak, forgetting there was already a Manas Peak in Kyrgyzstan, so it didn’t stick.