I got lost in considering Goldbach's conjecture after reading it. Then I answered it as clearly false after an infinitessmal period of time. Both 0 and 2 are even numbers and can not be repesented as the sum of 2 prime numbers.
You have Goldbach's conjecture wrong, I looked it up.
Every even integer greater than 3 can be written as the sum of two primes.
I just went by what was written in the article you referenced. It didn't quite make that distinctinction.
A few other thoughts since ran through my head concluding the using Goldbach's conjecture as the basis for calculating prime numbers can cut the computational time to calucalte them significantly. This could also be use as a test-proof of the conjecture.
Start with the list 2, 3, 5.
Add your 2 highest items +2 (3+5+2==10)
Then divide by 2 (10/2==5)
Find the highest prime in the list that is less than equal to the divdend (5<=5)
If the prime is exactly matching the dividend (5!=5) move on
(3+5+4)/2=6
5<=6
Test original number-prime for prime (isPrime(12-5))
(12-5)==7, is prime
When true add to list and move on, other wise try a smaller prime
Next is 14, 14/2==7 already in list move on
Next is 16, 16//2==8 next lower is 7
isPrime(16-7) tests 9 and finds it lacking
isPrime(16-5) tests 11 and finds it valid, adds 11 to the list
Next is 20(11+7+2), 20/2==10 next lower is 7
isPrime(20-7) tests 13 and add it to the list
Next is 26 (13+11+2), 26/2==13
13 is already on the list move on.
Next is (13+11+4), 28/2==13
isPrime(28-13) tests 15 and find it lacking
isPrime (28-11) tests 17 and finds it valid, adds 17 to the list
I followed this logic for a little ways and realized that it will properly generate a list of prime numbers. It nealry turns all prime numbers into a binary tree and reduces the amount of testing that is involved. I would say that since it uses Goldbach's conjecture as a sourcepoint for its logic and can then procede to perfectly map the first 10K primes it adequately proves his conjecture. For computational purposes it is skipping over many numbers, using the prime number to help in finding where the next one is.
After just a little ways this method will fail to actually prove Goldbach's conjecture, because it has skipped numbers. Again it picks up the primes progression and uses that to determine its steps. It does use the Conjecture for a piece of its underlying alogarithm, such that its search for primes is predicated that an even number minus a prime will result in another prime.
I think the actual goal is to cut prime number calculation by about 1/8th. I really don't know how that is useful, but if it interests you I can expound upond the specifcs for an isPrime function that further cuts down the computational load, or just bable in greater detail about the code to match the psuedocode above.