It seems to me that a proof of $\alpha_{n}=o(n)$ where the quantity $\alpha_{n}$ is defined in About Goldbach's conjecture together with the main result of https://kyushu-u.pure.elsevier.com/en/publications/exceptional-zeros-and-the-goldbach-problem and Terry Tao's answer to this former question of mine: Does the existence of a Landau-Siegel zero imply the existence of a complex zero off the critical line? would entail that if every large enough even integer is the sum of two primes, then GRH (the analogue of the Riemann Hypothesis for Dirichlet L-functions) holds true.

Can this be established rigorously?