TFA seems to be big on mathematical proof of correctness, but how do you ever kn... | Hacker News

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

chromaton 6 months ago | parent | context | favorite | on: When AI writes the software, who verifies it?

TFA seems to be big on mathematical proof of correctness, but how do you ever know you're proving the right thing?

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