7 ms·
> 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
by bigbillheck 2y ago
> 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