> 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
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