erdős #688
Define to be maximal such that there exists some choice of congruence class for all primes such that every integer in satisfies at least one of the congruences .Estimate - in particular is it true that ?
Worked, still open.
number theory · open · formalized (Lean) · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problemsevidence
unverified AI candidates (2)
gpt-erdos · GPT-5.2 Pro + Deep Research · unverified
Let $n$ be large and fix (\varepsilon\in(0,1)). Write $ \mathcal P_\varepsilon(n)\ :=\ {p\ \text{prime}: n^\varepsilon<p\le n}. $ For each (p\in\mathcal P_\varepsilon(n)) we choose one residue class (a_p\pmod p), and we ask that [ \forall m\in[1,n]\cap\mathbb Z\quad \exists p\in\mathcal P_\varepsilon(n)\ \text{ with }\…
candidate solution ↗llm-hunter · gpt pro 5.2 · unverified
1 LLM attack(s) recorded (gpt pro 5.2); unverified.
candidate solution ↗formal
AMS 11 · open (literature)
theorem erdos_688.parts.i.lower_bound :
(answer(sorry) : ℕ → ℝ) =O[atTop] epsilonFunctionformal-conjectures/688.lean ↗status
open