4 ms·
More interesting discussion than on Twitter here: https://www.erdosproblems.com/forum/thread/124#post-1892 https://www.erdosproblems.com/forum/thread/124#post-
by esperent 11mo ago
More interesting discussion than on Twitter here:
https://www.erdosproblems.com/forum/thread/124#post-1892 https://www.erdosproblems.com/forum/thread/124#post-1892
- dang 11mo agoOk, we've changed the link to that from https://twitter.com/vladtenev/status/1994922827208663383 https://twitter.com/vladtenev/status/1994922827208663383, but I've included the latter in the toptext. Thanks!