We know that if we assume the Cramer's conjecture on prime gaps then given $k$ we can generate a prime $>2^k$ in deterministic time $O(k^c)$.
We also know that if we assume the Riemann's conjecture then given $k$ the best algorithm we have to generate a prime $>2^k$ is deterministic time $O(2^{\frac k2+\epsilon})$ (this is matched unconditionally by https://terrytao.files.wordpress.com/2011/02/polymath.pdf - from Ricky Demer).
What is the best algorithm we know assuming the ABC conjecture?