Erdős problem #90

Contributors

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

AI systems: GPT-5.5 Pro

May 28, 2026

FormalizationCombinatoricsErdős #90

Formalization of an existing proof. Contribution type: Formalization.

LFCR

May 26, 2026

New proofCombinatoricsErdős #90

Full solution. Contribution type: AI standalone.

LFCR

May 20, 2026

CounterexampleCombinatorics

A fixed δ>0 and infinitely many n with ν(n)≥n^(1+δ), disproving that asymptotic conjecture.

LFCR

May 20, 2026

New proofCombinatoricsErdős #90

Full solution. Contribution type: AI standalone.

OpenAI internal modelProblem page →

LFCR