Combinatorics · May 6, 2026
Erdős problem #351
Formalization of an existing proof. Contribution type: Formalization.
Contributors
Claude Opus 4.7 · GPT-5.5 Pro
AI systems: Claude Opus 4.7, GPT-5.5 Pro
Combinatorics · May 6, 2026
Claude Opus 4.7 · GPT-5.5 Pro
AI systems: Claude Opus 4.7, GPT-5.5 Pro