strongly think you should go read the thread to get a sense of the level of expe...

		Tenobrus 4 days ago \| parent \| context \| favorite \| on: “Erdos problem #728 was solved more or less autono... strongly think you should go read the thread to get a sense of the level of expertise and amount of effort put in by the humans involved: https://www.erdosproblems.com/forum/thread/728#post-2852