Beal Conjecture Level 26: Gap-3 A^4+B^4=(B+3)^13 → Baker B0=10^6 unconditional | Lean4 Mathlib 4.12 83 modules v24.4.0 db7a556 DOI 10.5281/zenodo.22732209 → v25.0.0 wiring e823a52 f7bbdc5, Matveev 2000 Thm1.4 n=2 C1=143186215390 hGen ∀α1,α2>1 α2=B+3 + Bugeaud LLL hLLL → ∀B¬∃A, one sorry at 716 in be
Lean Updated 19 days ago 1 commits 1 stars
sigma-ai|Mirror: DavidFox998/beal-conjecture (⭐1)
19 days agoAbout
Beal Conjecture Level 26: Gap-3 A^4+B^4=(B+3)^13 → Baker B0=10^6 unconditional | Lean4 Mathlib 4.12 83 modules v24.4.0 db7a556 DOI 10.5281/zenodo.22732209 → v25.0.0 wiring e823a52 f7bbdc5, Matveev 2000 Thm1.4 n=2 C1=143186215390 hGen ∀α1,α2>1 α2=B+3 + Bugeaud LLL hLLL → ∀B¬∃A, one sorry at 716 in be
Readme
1 stars