> If published someone like Terrence Tao could write formal proofs for them like he and his team did some improvements for the work by Yitang Zhang.
From the second paragraph:
> George Andrews and Bruce C. Berndt (2005, 2009, 2012, 2013, 2018) have published several books in which they give proofs for Ramanujan's formulas included in the notebook