erdős #978
Let be an irreducible polynomial of degree (and suppose that for any ) such that the leading coefficient of is positive.Does the set of integers for which is -power-free have positive density?If , and for all primes there exists such that , then are there infinitely many for which is -power-free?In particular, doesrepresent infinitely many squarefree numbers?
Worked, still open.
number theory · open · possible · 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 me write (d:=\deg f) [[nomath]](so $d=k$ in your notation)[[/nomath]]. An integer $m$ is **$r$-power-free** [[nomath]](often: **$r$-free**)[[/nomath]] if no prime power (p^r) divides $m$.
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_978.variants.sub_one {f : ℤ[X]} (hi : Irreducible f) (hd : 2 < f.natDegree)
(hp : ∀ (x : ℕ), f.natDegree ≠ 2 ^ x) (hlc : 0 < f.leadingCoeff) :
{n : ℕ | Powerfree (f.natDegree - 1) (f.eval (n : ℤ))}.Infiniteformal-conjectures/978.lean ↗status
open