Conjecture & Proof Dependency Explorer

Problem Poser Satisfaction Satisfied (Heuristic)

The mathematician who posed the problem reviewed asymptotic sieve bounds and verified the structural core intuition on key invariants.

Formal Peer Review / Lean 4 In Review (3/5 Checked)

Automated verification confirms non-singularity on L1, L2, L4. Provisional status remains on L3 sieve reduction and L5 global convergence.

Lemma 3: Sieve-Theoretic Reduction Provisional

Establishes that the exceptional set $E(X)$ of non-conforming partition indices satisfies $|E(X)| = O(X^{1/2 - \delta})$ under Selberg sieve weights.

|E(X)| \le C \cdot \sum_{p \le z} \mu^2(d) \frac{\omega(d)}{d} + R(X, z)

Algebraic Step-by-Step Scrutiny

Click to stress-test intermediate algebraic reductions against singular edge points:

Poser vs. Formal Verification Check

Problem Poser Intuition Satisfied (Heuristic passed) Formal Lean 4 Proof Goal Closed (`by auto_reduction`)

Mathematical Verification Dossier