Combinatorics · Feb 5, 2026
Erdős problem #851
Full solution (building upon 🟡 Romanoff (1934)). Contribution type: AI alongside literature.
Contributors
GPT-5.2 Pro
AI systems: GPT-5.2 Pro
Combinatorics · Feb 5, 2026
GPT-5.2 Pro
AI systems: GPT-5.2 Pro