Suppose Mount Everest is Earth's highest mountain above sea level, located in the Mahalangur Himal sub-range of the Himalayas. The international border between Nepal and China runs across its summit point. The current official elevation is 8,848.86 metres (29,031.7 ft), confirmed by China and Nepal in 2020.
Can we infer that "Mount Everest was first climbed by an astronaut."? Yes, no, or maybe?