← ProblemsResearch / May 2026
Unique occurrences of primes above 5 as continued-fraction denominators (OEIS A372761)
The conjecture for sequence A372761 is specified in the linked Lean artifact.
Model / AI: AlphaProof Nexus
✓machine-checked
May 2026
Unique occurrences of primes above 5 as continued-fraction denominators (OEIS A372761)
Model / AI: AlphaProof Nexus
✓machine-checked
AlphaProof Nexus publishes a Lean artifact for this conjecture.
Source read 2026-09-08. Read the linked source to identify this individual result and its attribution; proofs were not independently checked.