In this article the proof of the binary Goldbach conjecture is established (Any integer greater than one is the mean arithmetic of two positive primes). To this end, Chen’s weak conjecture is proved (Any even integer greater than one is the difference of two positive primes) and a "localised" algorithm is developed for the construction of two recurrent sequences of primes (U2n) and (V2n), ((U2n) dependent of (V2n)) such that for any integer n their sum is equal to 2n: (U2n) and (V2n) are extreme Goldbach decomponents. To form them, a third sequence of primes (W2n) is defined for any integer n ≥ 3 by W2n = Sup (p ∈ : p ≤ 2n - 3), p denoting the set of positive primes. The Goldbach conjecture has been proved for all even integers 2n between 4 and 4. 1018 neighbourhoodof 10100, 10200, and 10300 for interval of amplitude 109 The table of extreme Goldbach decomposants, compiled using the programs in Appendix 14 and written with the Maxima and Maple scientific computing software, as well as files from ResearchGate, Internet Archive, and the OEIS, reaches values of the order of 2n = 105000. In addition, a global proof by strong recurrence "finite ascent and descent method" on all the Goldbach decomponents is provided by using sequences of primes (Wq2n) defined by Wq2n = Sup (p ∈ : p ≤ 2n - q) for any odd positive prime q, and a majorization of U2n by n0.525, 0.7 ln2.2 (n) with probability one and 5 ln1.3 (n) on average for any integer n large enough is justified. Finally, the Lagrange-Lemoine-Levy (3L) conjecture and its generalization called "Bachet-Bézout-Goldbach"(BBG) conjecture are proven by the same type of method.
Philippe Sainty (Tue,) studied this question.