openmath.dev
Esc

Loading…

↑ ↓ to move↵ to open

Appearance
Appearance

Combinatorics · May 26, 2026

Erdős problem #90

Full solution. Contribution type: AI standalone.

Contributors

Claude Mythos

AI systems: Claude Mythos

Sources

More on Erdős unit-distance problem

May 2026 4

FormalizationCombinatoricsErdős #90

Erdős problem #90

Formalization of an existing proof. Contribution type: Formalization.

Aleph ProverProblem page →
LFCR
Partial resultCombinatoricsErdős #90

Erdős problem #90

Improved explicit bound. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Ingo Althöfer, Michael Emmerich, Paata Ivanisvili +9Problem page →
LFCR