Combinatorics · Jan 27, 2026
Erdős problem #751
Formalization of an existing proof. Contribution type: Formalization.
Contributors
GPT-5.2-Codex · GPT-5.2 Thinking
AI systems: GPT-5.2-Codex, GPT-5.2 Thinking
Combinatorics · Jan 27, 2026
GPT-5.2-Codex · GPT-5.2 Thinking
AI systems: GPT-5.2-Codex, GPT-5.2 Thinking