let (R,...) be an o-minimal structure, and (M,...) a strongly minimal structure which is definable in R. The O-minimal Zilber Conjecture, due to Peterzil, asserts that M should satisfy Zilber's trichotomy for strongly minimal sets. This can be seen as a generalization of the characteristic zero case of Zilber's Restricted Trichotomy Conjecture for strongly minimal structures interpretable in algebraically closed fields. Past progress on the o-minimal conjecture has been organized according to the o-minimal dimension of the universe M: the conjecture is completely known if dim M=1 (Hasson-Onshuus-Peterzil), and is moreover known for dim M=2 assuming R is an expansion of a field and M is an expansion of a group (Eleftheriou-Hasson-Peterzil). This talk will present a result which completes the story for groups definable in fields: if (R,...) is an expansion of a field, and (M,+,...) is an expansion of a group of o-minimal dimension at least 3, then (M,+,...) is locally modular. The main ingredients of the proof involve 1) showing that the definable manifold topology on the group M can be (partially) definably recovered in the structure (M,+,...), and 2) developing an o-minimal analog of the `purity of the ramification locus' for maps of definable manifolds.