Generally, in math, theorems are named after the people who formulate them as conjectures, not the people who prove them.
That’s why it’s Fermat’s Last Theorem, not Wiles’ Last Theorem, even though Andrew Wiles is the one who proved it. Same goes for the Poincaré Conjecture (which is now a theorem): proved by Grigoriy Perelman.
Generally, in math, theorems are named after the people who formulate them as conjectures, not the people who prove them.
That’s why it’s Fermat’s Last Theorem, not Wiles’ Last Theorem, even though Andrew Wiles is the one who proved it. Same goes for the Poincaré Conjecture (which is now a theorem): proved by Grigoriy Perelman.