Fermat
That’s because HC&T’s “substantial new maths” is new (and substantial) *relative to the proof*, not relative to the sum total of human knowledge. So deleting Fermat’s (hypothetical) proof and replacing it with Wiles’s proof would not count as fixing it!
French mathematician and lawyer