Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_09_14_jenw1n: Two Lean proofs by the Conjectures.io user JenW1N, kernel-checked and certified by that bounty site in September 2026, answer the first question yes and the second no from one finite obstruction; no refereed account exists.
Linked from (1)
Graph