Super HN

   Towards Autonomous Mathematics Research (arxiv.org) 11 points by gmays 24 minutes ago