Erdős Problem #966

Erdős reported in 1975 that Spencer had shown existence but gave no reference; no proof was on record before the AI solution

10Significance / 100

1Frontier events

0Verification tasks

0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

number-theoryFeb 25, 2026Significance 10/100Registry: lean verified

Prior state unknown→proved

Erdős reported in 1975 that Spencer had shown existence but gave no reference; no proof was on record before the AI solution

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Source authenticated

Erdős reported in 1975 that Spencer had shown existence but gave no reference; no proof was on record before the AI solution

Erdős reported in 1975 that Spencer had shown existence but gave no reference; no proof was on record before the AI solution

Evidence graph