Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_01_18_agbanwa: Agbanwa, with ChatGPT 5.2, Gemini and Deepseek Thinking, claims the inequality holds for exactly ten n, none above 24; a Zenodo write-up with a Lean file, rejected on the thread for an unproven asymptotic step.
Linked from (1)
Graph