Verification, the Key to AI (2001) | Hacker News Reader