As AI keeps improving, mathematicians struggle to foretell their own future | Hacker News Reader