It's a bit disappointing to see "mathematically optimal" in the title when the strategy is based on a heuristic (granted, a very intuitive and effective one). For actual optimality results this article is good: https://www.poirrier.ca/notes/wordle-optimal/

In particular, max entropy heuristic + beam search will derive the optimal (now proven) strategy in terms of minimizing expected number of guesses