Can A.I. Quicken the Pace of Math Discovery? | Hacker News Reader