"Best" is subjective. Proofs can get very long especially for the harder ones ma...

		j_maffe 62 days ago \| parent \| context \| favorite \| on: “Erdos problem #728 was solved more or less autono... "Best" is subjective. Proofs can get very long especially for the harder ones mathematicians are tackling these days.