erdős #997
Call well-distributed if, for every , if is sufficiently large then, for all and intervals ,Is it true that, for every , the sequence is not well-distributed, if is the sequence of primes?
Worked, still open.
analysis · solved · 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
Your definition is the standard “well-distributed (mod 1)” condition (uniform equidistribution **in every long block**, uniformly over the starting point). In the literature it is often stated as: for every interval ([a,b]\subset[0,1]), [ \lim_{N\to\infty}\ \sup_{m\in\mathbb N}\left|\frac{1}{N}|\\{1\le n\le N:\ a\le {s…
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_997 :
answer(True) ↔
∀ α : ℝ, ¬ IsWellDistributed (fun n ↦ Int.fract (α * (n.nth Nat.Prime)))formal-conjectures/997.lean ↗status
solved