Amenability problem for Thompson's group $F$: state of the art (Groups, Complexity, Cryptology, 2023)