Worlds 2023 had K-pop stars, an AR boy band, and one big screen