In April 2018, I noted that the first integer $n>1$ with $n^2\not\in\{x^2+2y^2+3\times 2^z:\ x,y,z=0,1,2,\ldots\}$ is $$5884015571=7\times17\times49445509.$$
Question. Is it true that for each prime $p$ we can write $p^2$ as $x^2+2y^2+3\times2^z$ with $x,y,z$ nonnegative integers?
I guess that this question has a positive answer. Your comments are welcome!