This talk provides an elementary survey of D. Popescu’s General Néron Desingularization Theorem, stating that regular morphisms of noetherian rings, that is flat morphisms with geometrically regular fibers, are filtered colimits of smooth morphisms. The focus of the talk is on elucidating the theorem’s key concepts, particularly the notion of smooth algebras. Applications, notably in the context of Artin approximation, will be briefly outlined.