The hyperbolic Ax-Lindemann conjecture

The hyperbolic Ax Lindemann conjecture is a functional transcendental statement which describes the Zariski closure of "algebraic flows" on Shimura varieties. We will describe the proof of this conjecture and its consequences for the André-Oort conjecture. This is a joint work with Bruno Klingler and Andrei Yafaev.