List of mathematical discoveries by artificial intelligence | Dark Hacker News