Erdős problem #90

Contributors

OpenAI internal model

AI systems: OpenAI internal model

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 21, 2026

Partial resultCombinatoricsErdős #90

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

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

LFCR

May 20, 2026

CounterexampleCombinatorics

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

LFCR