openmath.dev
Esc

Loading…

↑ ↓ to move↵ to open

Appearance
Appearance

Combinatorics · May 15, 2026

Erdős problem #1039

Formalization of an existing proof. Contribution type: Formalization.

Contributors

Codex · GPT-5.5

AI systems: Codex, GPT-5.5

Sources