Baffling ABC maths proof now has impenetrable 300-page ‘summary’

Mathematicians have struggled to understand a 500-page-long proof of the ABC conjecture for half a decade. A new explainer might be able to shed some light