Today, two distinct camps exist in the Physics community: those who believe in the asymptotic safe gravity program for gravity, and those who don’t. Not many physicists are undecided, even if those who claim not to care. It is a polarizing topic, and nobody seems to ever be really convinced by the arguments of the others. Add to this, the existential threat potentially posed by asymptotic safety to the physicality of supersymmetry, supergravity, superstrings, M-Theory, and many of the popular GUTs and TOEs out there, and one can understand why the question of asymptotic safety of gravity is often either viewed as critical, or dismissed as irrelevant. Yet, the asymptotic safety program has claimed indications that gravity may be asymptotically safe. So far, none are definitive, and most are derided by the other camp. In the context of the multi-fold theory, we have shown that multi-fold gravity is asymptotically safe. Using arguments, that gravity is 2D at small scales, something agreed upon by most consistent theories of quantum gravity, we inferred that gravity is most probably asymptotically safe, even in non-muti-fold universes, and yet, we could manage to save superstrings as relevant around that 2D regime, while (mathematically) living in a tangent dual space. More recent results reinterpret the double copy duality and behavior of Yang Mills scattering to i) defined new AdS/CFT dualities, ii) encounter gravity as part of Yang Mills theory, iii) and encounter the multi-fold theory in both Yang Mills Actions, and in M-theory, through the AdS/CFT correspondence conjecture. Part of these previous works led us to announce that the AdS/CFT correspondence conjecture implies that General Relativity (GR) – based gravity is indeed asymptotically safe in a 4D spacetime. In the present paper, we detail such a non-perturbative derivation for GR-based gravity, and for GR-based gravity with. It does not require faith into evolution of time series, 2D processes, nor a priori multi-fold assumptions. In other words, the proof applies to Einstein gravity, in general, for conventional Physics, as well as for multi-fold universes. The paper also discusses considerations on why arguments, presented so far, against the asymptotic safety of gravity program would have been flawed, and, in particular, it shows how our proof is not affected by the Gribov ambiguity concerns, which does not apply to gravity + SM or SMG matter. Also supersymmetric matter are not asymptotically safe in 4D. Higher dimensions are also confirmed incompatible., Cite as: Stephane H Maes, (2022), "A Non-perturbative Proof of the Asymptotic Safety of 4D Einstein Gravity, With or Without Matter", https://doi.org/10.5281/zenodo.7953796, https://shmaesphysics.wordpress.com/2022/05/04/a-non-perturbative-proof-of-the-asymptotic-safety-of-4d-einstein-gravity-with-or-without-matter/, May 4, 2022.