Math is the tip of the iceberg. If it can do proofs, it can do anything. | Hacker News

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

		threethirtytwo 31 days ago \| parent \| context \| favorite \| on: “Erdos problem #728 was solved more or less autono... Math is the tip of the iceberg. If it can do proofs, it can do anything.

robotresearcher 31 days ago [–]

I don’t have proofs to solve every day, but I have to cycle the dishwasher. I eagerly await.

threethirtytwo 31 days ago | [–]

Things like that it can’t do. But your job is more likely to be a target. Depends on what you do though.

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