May 26, 2026●New proofCombinatoricsErdős #90Erdős problem #90Full solution. Contribution type: AI standalone.Claude MythosProblem page →LFCR
May 21, 2026◐Partial resultCombinatoricsErdős #90Erdős problem #90Improved 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✕CounterexampleCombinatoricsErdős unit-distance conjectureA fixed δ>0 and infinitely many n with ν(n)≥n^(1+δ), disproving that asymptotic conjecture.OpenAIProblem page →LFCR
May 20, 2026●New proofCombinatoricsErdős #90Erdős problem #90Full solution. Contribution type: AI standalone.OpenAI internal modelProblem page →LFCR