Combinatorics · Jan 15, 2026
Erdős problem #94
Formalization of an existing proof. Contribution type: Formalization.
Contributors
Codex · GPT-5.2 Thinking; Seed Prover
AI systems: Codex, GPT-5.2 Thinking; Seed Prover
Combinatorics · Jan 15, 2026
Codex · GPT-5.2 Thinking; Seed Prover
AI systems: Codex, GPT-5.2 Thinking; Seed Prover