Mathematicians issue a major challenge to AI | Hacker News Reader