List of mathematical discoveries by artificial intelligence | Hacker News Reader