Recently, model theory has transcended its role in logic and foundations of mathematics through a range of stunning applications in number theory/diophantine geometry. The aim of this talk is to give an intuitive survey of concepts and techniques involved in Hrushovski's proof of Manin-Mumford and Mordell-Lang conjectures, as well as the Pila-Wilkie approach to Andre-Oort conjecture.