Skilled humans must understand the problem and write the theorem statement.

		fsmv 54 days ago \| parent \| context \| favorite \| on: “Erdos problem #728 was solved more or less autono... Skilled humans must understand the problem and write the theorem statement.