Combinatorics · Feb 24, 2026
Erdős problem #433
Formalization of an existing proof. Contribution type: Formalization.
Contributors
Aristotle · Claude Opus 4.8 · Claude Sonnet 4.6 · Gemini 3 Flash · Gemini 3.1 Pro · Project Numina
AI systems: Aristotle, Claude Opus 4.8, Claude Sonnet 4.6, Gemini 3 Flash, Gemini 3.1 Pro, Project Numina