We establish that a criterion based on ring-theoretic amenability is both necessary and sufficient for the abelian version of the Elekes-Szabó theorem to be sharp in the case of positive characteristic. Moreover, the criterion is always sufficient. We provide illustrative examples in the theories ACF_p and DCF_0.

I will outline some recent progress in identifying realistic models of particle physics in heterotic string theory, supported by several mathematical and computational advancements which include: analytic expressions for bundle valued cohomology dimensions on complex projective varieties, heuristic methods of discrete optimisation such as reinforcement learning and genetic algorithms, as well as efficient neural-network approaches for the computation of Ricci-flat metrics on Calabi-Yau manifolds, hermitian Yang-Mills connections on holomorphic vector bundles and bundle valued harmonic forms. I will present a proof of concept computation of quark masses in a string model that recovers the exact standard model spectrum and discuss several other models that can accommodate the entire range of flavour parameters observed in the standard model.