Formal target: Corpus.WikipediaBealConjecture.beal_conjecture

The **Beal Conjecture**: if we are given positive integers $A, B, C, x, y, z$ such that $x, y, z > 2$ and $A^x + B^y = C^z$ then $A, B, C$ have a common divisor.

Exact formal statement

Corpus.WikipediaBealConjecture.bealConjecture

This target is a formal statement, not a proof of the problem.

Environment availability: available.

Public accepted solutions (paginated API)

Public JSON record