A cute example I know is Michael Freedman's paper titled "Complexity Classes as Mathematical Axioms" which gives an implication of $P^{\#P}\neq NP$ in the field of 3-manifold topology.
Zeyu
- 651
- 8
- 12