erdős #961
Let be the minimal such that every set of consecutive integers contains an integer divisible by a prime . Estimate .
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
Write $P(n)$ for the largest prime divisor of $n$. Your condition is equivalent to saying that for every (m>k), [ P\bigl(m(m+1)\cdots(m+n-1)\bigr)>k, ] because a prime (>k) divides the product iff it divides at least one of the $n$ factors. This is exactly the Erdős function $f(k)$ studied in the literature.
candidate solution ↗llm-hunter · gpt pro 5.2 · unverified
1 LLM attack(s) recorded (gpt pro 5.2); unverified.
candidate solution ↗formal
AMS 11 · solved (literature)
theorem erdos_961.sylvester_schur (k : ℕ) (hk : 0 < k) : Erdos961Prop k kformal-conjectures/961.lean ↗
oeis
status
open