Since no human could do that, are we to conclude no human is intelligent?

		pfdietz 16 days ago \| parent \| context \| favorite \| on: “Erdos problem #728 was solved more or less autono... Since no human could do that, are we to conclude no human is intelligent?