More interesting discussion than on Twitter here:
https://www.erdosproblems.com/forum/thread/124#post-1892