Combinatorics · Mar 17, 2026
Erdős problem #1148
Formalization of an existing proof. Contribution type: Formalization.
Contributors
Claude Opus 4.6 · Gemini 3.1 · GPT-5.4 · UlamAI Prover
AI systems: Claude Opus 4.6, Gemini 3.1, GPT-5.4, UlamAI Prover