No, a proof proves what it proves. It does not prove what the designer of the pr... | Hacker News

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

		svieira 4 months ago \| parent \| context \| favorite \| on: The new calculus of AI-based coding No, a proof proves what it proves. It does not prove what the designer of the proof intended it to prove unless the intention and the proof align. Proving that is outside of the realm of software.

practal 3 months ago [–]

Yes, indeed, a proof proves what it proves.

You confuse spec and proof.

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