Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated

Claims

../

2023_06_06_mattheus_verstraete: Mattheus and Verstraete's Theorem 1, r(4,t) at least a constant times t cubed over the fourth power of log t, refereed in the Annals (2024) and credited by the site's curator; it proves the statement.