Wordle-solving state of the art: all optimality results so far -- Laurent's notes

Most mathematical questions one could have about Wordle are settled by now, and a few remain open. I summarize here what is known, as far as I can tell. First, let's clarify a few things about the game: Wordle comes with a dictionary of 12972 words that the player is allowed to use as guesses. They are essentially all 5-letter combinations one could reasonably argue are English words. The "secret" word that the player has to discover is also always in that dictionary.