>That's what's covered by the "assuming you have formalized the statement correc... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		oh_my_goodness 10 days ago \| parent \| context \| favorite \| on: “Erdos problem #728 was solved more or less autono... >That's what's covered by the "assuming you have formalized the statement correctly" parenthetical. Sure. But it's fair to ask how to validate that assumption.

fsmv 10 days ago [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact