Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_07_15_gajjala: Gajjala's full proof claim of 15 July 2026, produced with GPT 5.6 Sol: the second-order constant exists and is 1 plus the Meissel-Mertens constant plus a variational constant, so lies between 1 and 15; nothing accepted.
2026_07_15_snyder: Snyder's full proof claim of 15 July 2026, produced with GPT 5.6 in a custom harness: the second-order constant exists and is the Mertens constant plus a variational limit, with a Lean development; nothing accepted.
Linked from (1)
Graph