Let $K$ be a number field and let $\mathcal O_K$ be the ring of integers. Following this paper of Cornelissen, Pheidas, and Zahidi, a key ingredient needed to show that Hilbert's tenth problem has a negative solution over $\mathcal O_K$ is an elliptic curve $E$ defined over $K$ with rank$(E(K))=1$.

Recently Mazur and Rubin have shown that such a curve exists assuming the Shafarevich-Tate conjecture for elliptic curves over number fields. They actually use a weaker, but still inaccessible hypothesis (See conjecture $ШT_2$).

If you wanted to eliminate the need for this hypothesis you would have to write a proof that simultaneously demonstrated that rank$(E(K))=1$ for infinitely many pairs $(K,E)$ where $E$ is an elliptic curve defined over $K.$ This raises (as opposed to begs) the easier question:

Can you show unconditionally that rank$(E(\Bbb Q)) = 1$ for infinitely many elliptic curves $E$ over $\Bbb Q$?

It would appear that Byeon, Jeon, and Kim have done so in this paper (probably need an institutional login). Vatsal obtains a weaker result here that still does the job. Unfortunately both of these results invoke the fact that the BSD rank conjecture is true for elliptic curves over $\Bbb Q$ with analytic rank 1. Which won't help at present working over number fields.

Can anyone do the above WITHOUT invoking the proven part of the BSD rank conjecture or assuming any conjectures?