erdős #413
Let count the number of distinct primes dividing . Are there infinitely many such that, for all , we have ?Can one show that there exists an such that there are infinitely many where for all ?
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 the condition in the “distance from $n$” form. Put (m=n-k) [[nomath]](so $1\le k\le n-1$)[[/nomath]]. Then [ m+\omega(m)\le n \quad\Longleftrightarrow\quad \omega(n-k)\le k \ \ \text{for all }1\le k\le n-1. ] Numbers $n$ with this property are exactly what Erdős called **barriers for (\omega)**. ([arXiv][1])
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_413.parts.i :
answer(sorry) ↔ { n | IsBarrier (fun m => ω m) n }.Infiniteformal-conjectures/413.lean ↗oeis
status
open