openmath.dev
Esc

Loading…

↑ ↓ to move↵ to open

Appearance
Appearance

Combinatorics · Jun 21, 2026

Erdős problem #346

Full solution (Lean). Contribution type: AI collaborating with humans.

Contributors

Codex · GPT · Kenta Kitamura

AI systems: Codex, GPT

Sources