Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_07_28_chen: Wanfang Chen's 2026 manuscript and Lean 4 development, whose proof the paper says OpenAI's GPT-5.6-sol model generated, claim a yes answer for every k at least 3; no review recorded.
Linked from (1)
Graph