More interesting discussion than on Twitter here:

https://www.erdosproblems.com/forum/thread/124#post-1892