erdős #351
Let with positive leading coefficient. Is it true thatis strongly complete, in the sense that, for any finite set ,contains all sufficiently large integers?
Worked, still open.
number theory · 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
Take for instance (p(x)=-x). Then $ A=\\{-n+\frac1n:\ n\in\mathbb N\\}\subseteq (-\infty,0], $ since (-1+1=0) and for (n\ge2) we have (-n+\frac1n<0). Hence every finite sum of distinct elements of $A$ is (\le 0), so the set of subset–sums cannot contain *any* positive integer, let alone “all sufficiently large” ones. T…
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_351 :
answer(sorry) ↔ ∀ P : ℚ[X], 0 < P.natDegree → 0 < P.leadingCoeff → HasCompleteImage Pformal-conjectures/351.lean ↗links
has noted · link
status
solved