erdős #123
Let be three integers which are pairwise coprime. Is every large integer the sum of distinct integers of the form (), none of which divide any other?
Worked, still open.
number theory · open · prize $250 · formalized (Lean) · 0 attempts
machinery: consecutive-integer-window,covering-system,additive-combinatorics,extremal-set-system,g_kr-divisors
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
This is **not known in general** (for the interesting case where (a,b,c\ge 2)). It is a well-known open problem of Erdős, usually stated in terms of **(d)-complete** sets/sequences. ([Erdős Problems][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_123 : answer(sorry) ↔ ∀ a > 1, ∀ b > 1, ∀ c > 1, PairwiseCoprime a b c →
IsDComplete (↑(powers a) * ↑(powers b) * ↑(powers c))formal-conjectures/123.lean ↗status
open