Fields with automorphism and measure
Scanlon conjectured that a field equipped with a measure (or a suitable Euler characteristic) must be pseudofinite.
I did not know how to prove the above, so I generalised it to the following. A difference field with measure must be a model of ACFA. I will present my efforts toward proving this conjecture.