Erdős Problem #1186

exact k = 3 constant established, settling the Parrilo-Robertson-Saracino conjecture for 3-APs; general k remains open

10Significance / 100

1Frontier events

0Verification tasks

0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

combinatoricsJul 13, 2026Significance 10/100Registry: unreviewed

Prior state unknown→proved

exact k = 3 constant established, settling the Parrilo-Robertson-Saracino conjecture for 3-APs; general k remains open

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Source authenticated

exact k = 3 constant established, settling the Parrilo-Robertson-Saracino conjecture for 3-APs; general k remains open

exact k = 3 constant established, settling the Parrilo-Robertson-Saracino conjecture for 3-APs; general k remains open

Evidence graph