John Lesieutre has just sent me an exciting new preprint in which he constructs a smooth projective variety \(X\) such that

1. \(\text{Aut}(X)\) is discrete, and
2. \(\text{Aut}(X)\) is not finitely generated.

Whether or not such varieties existed has been an open question (asked by many people) for a long time.