green_62

Specification

Let $p$ be a large prime, and let $A$ be the set of all primes less than $p$. Is every $x \in \{1, \ldots, p-1\}$ congruent to some product $a_1 a_2$ where $a_1, a_2 \in A$?

Actions

Submit a Proof

Have a proof attempt? Submit it for zero-trust verification.

Submit Proof

Lean 4 Statement

theorem green_62 :
    answer(sorry) ↔
      ∀ᶠ p in atTop, p.Prime →
        let A

ID: GreensOpenProblems__62__green_62

Browse

All Problems

Explore all 300 unsolved conjectures.

View problems →

Docs

Verification Pipeline

How zero-trust verification works.

Read docs →

Evaluation Results

Recent Submissions

No submissions yet. Be the first to attempt this problem.