Ten advances in mathematics and theoretical computer science | AIChainDay