OpenAI reports superexponential van der Waerden lower bounds
- Mathematics
There is an absolute K such that W(r,k)>k^(k⌊log₂ r⌋/100000) for all k≥K and r≥2, so W(r,k)^(1/k) diverges for each fixed r≥2.
There is an absolute K such that W(r,k)>k^(k⌊log₂ r⌋/100000) for all k≥K and r≥2, so W(r,k)^(1/k) diverges for each fixed r≥2.
There is an absolute K such that W(r,k)>k^(k⌊log₂ r⌋/100000) for all k≥K and r≥2, so W(r,k)^(1/k) diverges for each fixed r≥2.
There is an absolute K such that W(r,k)>k^(k⌊log₂ r⌋/100000) for all k≥K and r≥2, so W(r,k)^(1/k) diverges for each fixed r≥2.
If correct, answers Erdős’s superexponential-growth question with a bound uniform in the number of colors.
Do van der Waerden numbers grow superexponentially with progression length for every fixed number of colors?
Publication dates and editorial changes.
OpenAI reports superexponential van der Waerden lower bounds
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.