Claims

../

2026_03_31_alexeev_putterman_sawhney_sellke_valiant: Theorem 3.1 of Alexeev, Putterman, Sawhney, Sellke and Valiant (arXiv 2026) gives an explicit basis of order 2 that no bipartition splits into two self-sumsets with bounded gaps, answering the second question yes; accepted.

2026_03_31_firsching: Three Lean proofs found by a DeepMind prover agent and posted by Moritz Firsching settle both questions, the first for upper density (yes) and for an existing limit (no), the second yes; accepted on the site's credit.

2026_04_24_chojecki: An unsigned note dated 23 April 2026, posted by Przemek Chojecki as the output of GPT-5.4 Pro with an Aristotle formalization, reproves the three answers to the problem; claimed, as a reproof with no acceptance evidence.

---