V.V. Miasoyedov posted a paper to the arXiv claiming a proof of the Hardy-Littlewood conjecture $\pi(x+y) \le \pi(x)+\pi(y)$. It seems a bit off, and not only because the conjecture is widely believed false (incompatible with the $k$-tuple conjecture, as pointed out by Richards.) But when I looked it over I couldn't get a good feeling of what was going on at a higher level, and the details that I saw looked right. (My copy of v1 has each sentence up to (2.3) marked with a check.)
Can anyone confirm that the paper is in error?