Ten advances in mathematics and theoretical computer science