As AI keeps improving, mathematicians struggle to foretell their own future · HackerTrans