Fermat's Last Theorem

← All problems

fermat_last_theorem

Submitter: Xuanji Li.

Notes: Fermat's Last Theorem: a^n + b^n = c^n has no nontrivial natural solution when n >= 3.

Source: https://en.wikipedia.org/wiki/Fermat%27s_Last_Theorem

Informal solution: via https://en.wikipedia.org/wiki/Modularity_theorem

theorem declaration uses `sorry`fermat_last_theorem : FermatLastTheorem := ⊢ FermatLastTheorem All goals completed! 🐙

Solved by

Not yet solved.