2 problems
Thurston's conjecture. Every pair of weak Perron numbers greater than is a pair of expansion constants for an outer automorphism and its inverse.
Non-conjugacy and abundance conjecture. Most of these elements are pairwise non-conjugate in , and this method yields doubly exponentially many fully irreduci…