Claims

../

1968_01_01_erdos_szemeredi: Erdős and Szemerédi's 1968 theorem in Acta Arithmetica that the largest number of disjoint residue classes with distinct moduli at most N is o(N), proving the Erdős–Stein conjecture; accepted on the refereed paper.

2002_08_30_croot: Croot's 2003 theorem in Acta Arithmetica that the largest number of disjoint residue classes with distinct moduli at most N lies between N L(N)^{-sqrt 2 - o(1)} and N L(N)^{-1/6 + o(1)}; accepted on the refereed paper.

2005_01_01_chen: Chen's 2005 theorem in Acta Arithmetica that the largest number of disjoint residue classes with distinct moduli at most N is at most N L(N)^{-1/2 + o(1)}, for arbitrary moduli; accepted on the refereed paper.

2013_01_01_de_la_breteche_ford_vandehey: The 2013 theorem in Acta Arithmetica that the largest number of disjoint residue classes with distinct moduli at most N lies between N L(N)^{-1-o(1)} and N L(N)^{-sqrt 3 / 2 + o(1)}; accepted on the refereed paper.

2026_04_23_ho: Boon Suan Ho's 2026 manuscript, written with GPT-5.4 Pro, proving the sharp asymptotic for the largest number of disjoint residue classes with distinct moduli at most N; accepted on the site's credit after a Lean formalization.

2026_04_30_chojecki: An eight-page unsigned draft dated 30 April 2026, posted by Przemek Chojecki on ULAM's site and credited to GPT-5.5 Pro, claiming the sharp upper bound f(N) ≤ N L(N)^{-1+o(1)} of Problem 202 by a spread-core route.

---