This is not a straightforward example, but the Oppenheim conjecture was proved originally by Margulis using ergodic theory and group theory.
Ian Agol
- 68.9k
- 3
- 194
- 358