Applications of the hyperbolic Ax-Schanuel conjecture

Christopher Daw, Jinbo Ren

In 2014, Pila and Tsimerman gave a proof of the Ax-Schanuel conjecture for the $j$-function and, with Mok, have recently announced a proof of its generalization to any (pure) Shimu…