Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_09_24_openai: A manuscript of the OpenAI mathematics release claims Ostmann's inverse Goldbach conjecture: no sumset A + B with |A|, |B| >= 2 differs from the primes in finitely many elements, so the answer is no; its Lean proof was built and audited by this corpus, so accepted.
Linked from (1)
Graph