The upper-bound conjecture for the Ova-Ova-Prime-Ova construction
Let the preceding Ova-Ova-Prime-Ova construction be given, and let denote the number of primes it produces. The Ova-Ova-Prime-Ova counting conjecture. Although the preceding theorem guarantees at least one resulting prime, one has . The source supplies examples and asserts this as a bound, but gives no independent resolution evidence.
References
Primary source
Yeisson Alexis Acevedo Agudelo, “Prime numbers. An alternative study using ova-angular rotations”, arXiv:2104.04522 (2021).
Progress summary
A posted calculation claims the ten-output limit is false by producing outputs from one pair of input primes, but nobody has independently verified it.
The conjecture asserts that the Ova-Ova-Prime-Ova construction produces at most primes. Yeisson Alexis Acevedo Agudelo introduced the underlying construction in a 2021 preprint, which records an existence result but does not independently settle this upper bound.
Known results
- Acevedo Agudelo (2021) gives the construction and guarantees at least one resulting prime, while supplying examples supporting the proposed bound .
Posted attempt
A reader supplies two input primes, and , and lists residues satisfying the construction’s primality conditions, claiming and thereby refuting both and the earlier bound . The calculation has not been independently verified.
Current status (as of August 2026): The published construction and at-least-one-output result are recorded, while the ten-output conjecture has a specific but unverified claimed counterexample with .
Sources
Solutions 1
CounterexampleThis solution needs a summarySee full solution
Take the primes
Their residues are and , and both rotation frequencies are . Thus a residue contributes an output of the prescribed construction precisely when
The following distinct residues satisfy all three conditions:
For example, the first eleven give
and every entry in the last two columns is prime.
Consequently this single pair of input primes produces prime outputs, contradicting the stated bound . The earlier published version of the construction proposed the weaker bound ; the same example disproves that original bound as well.