Figured a new thread was warranted. His company was Climbing the Seven Summits.
According to an old video by Symmonds, this makes him the first person in history to run a sub four-minute mile and summit Everest. Not sure where this claim can be verifiable though short of comparing the World Athletics all-time mile list and the Himalayan Database Everest summit list.
The big question though; did he use O2? I'm assuming yes. They'd probably mention if he did a no O2 ascent.
On the CTSS Instagram they say a 17 year old girl just summited the peak, so clearly of the two the sub four is much harder.
Still no direct update from Symmonds. Discus