Answers are grounded in this paper and cite their sources.
This article continues an earlier compilation on the Beal conjecture (if Aˣ+Bʸ=Cᶻ with x,y,z≥3 then $A,B,C$ share a prime). Its organising idea is to replace density arguments by local (vertical) structure: for a fixed base, a fixed triple, or a fixed coprime identity (core), decide exactly when a hit exists and why not. We record: (i) the hit/miss partition of triples, the failure of the converse of Beal, a finiteness theorem for the exponent set of a fixed triple (infinite only for powers of $2$), the prime-support law, and root reduction; (ii) a complete case analysis of three prime bases; (iii) a mechanical placement sieve for the primes of a base, with the count 2ʳ⁺¹-1 of live placements for squarefree bases and its dependence on valuations otherwise; (iv) the walls for $14,20,21,22,23$, now with an explicit valuation-gcd criterion that kills every candidate core found; (v) the inversion of the problem into a list of cores, its out-of-sample behaviour, closed forms for the two main families (differences of powers, Mˢ+1), the exponent-pair attribution of the tail and the growth law N1/z+1/y; (vi) a Euclid-type theorem: no finite list of hit-hosting cores is final, with a closed-form extension step, and the observation that the same generators cannot extend a list of rigid cores (all faces exponent ≥3). Every statement carries a status tag. No proof of the Beal conjecture is claimed; the final list of rigid cores is conjecturally empty, and this is exactly Beal. A corrections log lists everything retracted.
No takes yet. Share an insight, caveat, or question.
C. Tantisukarom (2026) studied this question.
Synapse has enriched 8 closely related papers on similar clinical questions. Consider them for comparative context: