I've been out of the #top500 game for a while, so I'm surprised to see that the difference between #1 and #2 is large. Literally 2x the measured performance, despite similar theoretical peak FLOPs, power usage, and vendor. https://www.top500.org/lists/top500/2023/11/highs/