Wikipedia · textbook · AMS 11
mediumknown result, no worker yet
Beal conjecture
Theorem · flt_of_beal_conjecture
The Beal Conjecture implies Fermat's last theorem
Formal statement · Lean 4.lean
theorem flt_of_beal_conjecture (H : bealConjecture) :
FermatLastTheorem := by
sorryProof. sorry
Nobody has tried yet.