bugeaud

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 beal-level-26-foundations 4bd15bd

Matveev-Beal Level 26: Matveev 2000 Thm1.4 n=2 C1_floor=143186215390 hGen ∀α1,α2>1 α2=B+3 + Bugeaud LLL hLLL → ∀B¬∃A gap-3 A^4+B^4=(B+3)^13, one sorry matveev_gap3_lower at 716, gap3_A_bounds+product proved, beal-conjecture f7bbdc5 e823a52 0-sorry, v24.4.0 db7a556 DOI 22732209 concept 22379293, we own Matveev not Mathlib