Formal target: Corpus.WikipediaRegularPrimes.regularprime_conjecture

Conjecture: The set of regular primes is infinite.

Exact formal statement

Corpus.WikipediaRegularPrimes.RegularPrimeConjecture

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

Environment availability: available.