openmath.dev
Esc

Loading…

↑ ↓ to move↵ to open

Appearance
Appearance

Combinatorics · Jun 10, 2026

Erdős problem #539

Partial result (Lean). Contribution type: AI standalone.

Contributors

Codex · GPT-5.5 · ProofCouncil

AI systems: Codex, GPT-5.5, ProofCouncil

Sources