I work in algebraic geometry, especially over finite fields. The set of points on an algebraic variety over particular subfields forms an interesting sequence of data sets. Studying it may, I hope, unlock some secrets of algebraic curves or surfaces or higher dimensional objects.
I am also interested in connecting statistical forms of AI (machine learning, large language models) with symbolic deductive reasoning (“proof-checkers” like Lean or Coq).