New paper

Stream: ABC-Exceptions

[Terence Tao]

I just got pointed towards this new paper : https://arxiv.org/abs/2506.13364

In the PFR project we had some similar improvements to the main theorem come out after our original proof was formalized, but fortunately the new proof was similar enough to the old one that we could re-use much of the code we had developed to also formalize the new proof in a matter of days. Would that be the case here as well?

[Bhavik Mehta]

Yes, although lots of the parts of the new paper (in particular the parts that are in common with the old paper) are in the sections that we haven't yet formalised.