Title: Math Research, Formalization and AI: A Case Study

Abstract:
I will tell the story of how an interplay of formalization, AI use, and
my own thinking led to a better proof of the main result in my very
first published paper (plus further results in the literature) and to a
generalization of the results.