Ramanujan-inspired series for 1/π involving harmonic numbers (Q6561469)

\textit{J. Guillera} [Ramanujan J. 32, No. 1, 5--22 (2013; Zbl 1278.33003)] proved the elegant Ramanujan-type formula\N\[\N\sum_{k=0}^\infty (-1)^k \dfrac{\left(\frac 12\right)^3_k}{(1)^3_k} \left(3(4k+1)H_k -2\right)=-\dfrac{12\log 2}{\pi},\N\]\Nwhere \(H_n\) denotes the ordinary harmonic numbers.\N\NLater on, \textit{Z.-W. Sun} [``Series with summands involving harmonic numbers'', Preprint, \url{arXiv:2210.07238}] conjectured hundreds of series and congruences with summands containing harmonic numbers, such as\N\[\N\sum_{k=0}^\infty \dfrac{\left(\frac 12\right)^3_k\left(\frac 14\right)_k \left(\frac 34\right)_k}{16^k(1)^5_k}\left((120k^2+34k+3)(H_{2k} -2H_k)+68k+9\right)=\dfrac{128\log 2}{\pi^2},\N\]\Nwhich was confirmed by \textit{C. Wei} [``On some conjectures of Z.-W. Sun involving harmonic numbers'', Preprint, \url{arXiv:2304.09753}] through the derivative operator method.\N\NMotivated by the expressions shown previously and some other formulas obtained in 1914 by \textit{S. Ramanujan} [Quart. J. 45, 350--372 (1914; JFM 45.1249.01)], the authors systematically establish six Ramanujan-type representations for \(1/\pi\) involving harmonic numbers.