From his posts, it’s unclear who actually did the experiment. He seems to only b...

		xigoi 54 days ago \| parent \| context \| favorite \| on: “Erdos problem #728 was solved more or less autono... From his posts, it’s unclear who actually did the experiment. He seems to only be commenting on the results? Or am I missing something?