On leafing through some papers of John Nash (available online on his webpage) I found this intriguing little observation:

Noticing that with larger even numbers it seemed to become possible to find Goldbach decompositions with the smaller prime very very much smaller than the larger I thought of the simple conjecture that only a finite set of even integers would be such that they could not be expressed in the form of a sum of two primes where the size of the cube of the smaller prime would be less than the size of the larger prime.

Has anyone ever tackled this conjecture? Would it be an 'easy' conjecture?

Let me make the conjecture precise, for the sake of clarity. Let $N$ be an even number and let $s(N)$ stand for the smallest prime such that $N-s(N)$ is prime (if such a prime exists, i.e. if $N$ is expressible as the sum of two primes.) Define the following set: $$S_m = \lbrace N \vert N \text{ is even and } s(N)^m > N-s(n) \rbrace $$ With this notation, Nash's conjecture asks: Is $S_3$ finite or infinite?

Nash calculated the first member of $S_3$, which is 63274 = 293 + 62681.

What about other values of $m$? If indeed $S_3$ is infinite, is there an $m$ such that $S_m$ is finite?

(I'm tagging this as a reference request too since I know very little about the Goldbach literature and would be intrigued to read any related papers.)

proofof such a result is well out of reach as long as we can't even prove it for $m=1$... – Noam D. Elkies Dec 2 '11 at 3:26