Unlike other mathematical breakthroughs, this claimed proof of 1993 has facilitated little, if any, insights or simplifications since then. Asking in recent years about the reliance by this proof on the disfavored [[Axiom of Choice]] has even resulted in [[censorship]] by some.<ref>https://meta.mathoverflow.net/questions/1336/why-was-this-question-about-axiom-of-choice-and-the-wiless-proof-of-flt-deleted</ref> | Unlike other mathematical breakthroughs, this claimed proof of 1993 has facilitated little, if any, insights or simplifications since then. Asking in recent years about the reliance by this proof on the disfavored [[Axiom of Choice]] has even resulted in [[censorship]] by some.<ref>https://meta.mathoverflow.net/questions/1336/why-was-this-question-about-axiom-of-choice-and-the-wiless-proof-of-flt-deleted</ref> |