Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
When AI Writes the Software, Who Verifies It? (leodemoura.github.io)
3 points by vinhnx 13 hours ago | past | 1 comment
Who Watches the Provers? (leodemoura.github.io)
2 points by futurisold 5 days ago | past | discuss
When AI writes the software, who verifies it? (leodemoura.github.io)
305 points by todsacerdoti 18 days ago | past | 299 comments
Proof Assistants in the Age of AI (leodemoura.github.io)
1 point by matt_d 30 days ago | past

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

Search: