Verification, the Key to AI [2001] | Hacker News Reader