  This is a survey of our recent results on the amenability problem for
Thompson's group $F$. They mostly concern esimating the density of finite
subgraphs in Cayley graphs of $F$ for various systems of generators, and also
equations in the group ring of $F$. We also discuss possible approaches to
solve the problem in both directions.
