Prime avoiding numbers is a basis of order $2$

Abstract

For a positive integer $n$, we denote by $F(n)$ the distance from $n$ to the nearest prime number. We prove that every sufficiently large positive integer $N$ can be represented as the sum $N=n_1+n_2$, where $$ F(n_i) \geqslant (\log N)(\log\log N)^{1/325565}, $$ for $i=1,2$. This improves the corresponding "trivial" statement where only $F(n_i)\gg \log N$ is required.