Unlike other mathematical breakthroughs, this claimed proof of 1993 has facilitated little, if any, insights or simplifications since then. Asking now 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 now 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> |