Axplorer: Democratizing the search for interesting mathematical constructions | Dark Hacker News