# Numerical verification of the ternary Goldbach conjecture

In his proof of the ternary Goldbach conjecture, H.A. Helfgott says that it has been verified that every odd number less than $N_0 = 10^{30}$ is the sum of at most 3 primes. How would one verify this up to $N_0$ in a reasonable amount of time. This is because even if one could verify in $O(1)$ time whether or not a number is the sum of 3 primes, to verify it until $10^{30}$ would still take a very long time.