Ramsey problem solved by some internal model at OpenAI: for all k, the ratio R(k,x+1)/R(k,x) converges to 1, as x goes to infinity. https://cdn.openai.com/pdf/6dc7175d-d9e7-4b8d-96b8-48fe5798cd5b/Ramsey.pdf Crazy times.