AI in Mathematics · Hindsight | Envisioning