Proof of two supercongruences conjectured by Z.-W. Sun (1910.00779v2)

Abstract: In this paper, we prove two supercongruences conjectured by Z.-W. Sun via the Wilf-Zeilberger method. One of them is, for any prime $p>3$, \begin{align*} \sum_{n=0}^{p-1}\frac{6n+1}{256^n}\binom{2n}n^3&\equiv p(-1)^{(p-1)/2}-p^3E_{p-3}\pmod{p^4}. \end{align*} In fact, this supercongruence is a generalization of a supercongruence of van Hamme.