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