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)⩾(\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.