The Beal Symmetry Collision: A Machine-Certified Solution via p-adic Valuations
collision computational-mathematics symmetry formal-verification number-theory bases interactive-theorem-proving coprime asymmetry formal-proofs mathlib leanprover lean4 diophantine-equations proof-by-induction proof-by-contradiction math-proof beal-conjecture p-adic-valuations american-mathematical-society
-
Updated
Mar 29, 2026 - Lean