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