Free groups amenably act on unital simple AF-algebras

We show that free groups admit amenable actions on unital simple AF-algebras. This settles, for free groups, the last remaining case of the existence problem for amenable actions of non-amenable groups on classifiable simple C*-algebras. The proof relies on the Baire category theorem. This result was obtained with substantial assistance from GPT-6 Astra.