[bigbillheck]

> 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