Vela

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_37aec80d874a0239
vela reproduce examples/erdos-problems

evidence

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

notary

vela reproduce examples/erdos-problems
  • packet.json · sha256 1867056a9fb2fa09da8610d2f8f3c12786c0cecb0727250c84547ff601765e97

finding.noted · reviewer:will-blair · 1 day

renders the record as of vev_d199cb2e · 1,338 events · hub

Search Vela

Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.