openmath.dev
Esc

Loading…

↑ ↓ to move↵ to open

Appearance
Appearance

Combinatorics · Jun 21, 2026

Erdős problem #948

Full solution (Lean). Contribution type: AI building on literature.

Contributors

Aristotle · GPT-5.5 Pro

AI systems: Aristotle, GPT-5.5 Pro

Sources