Skip to main content
1 of 2
GH from MO
  • 105.3k
  • 8
  • 293
  • 398

Let us assume the Riemann Hypothesis. Dudek, Grenié, and Molteni proved in 2015 that for any $x\geq 2$, there exists a prime in $(x-y,x+y)$, where $y:=\frac{1}{2}\sqrt{x}\log x+2\sqrt{x}$. Using this result, it is straightforward to prove the OP's conjecture for $x\geq 10^{40}$ (under the Riemann Hypothesis).

See also my response to this related MO question.

GH from MO
  • 105.3k
  • 8
  • 293
  • 398