Such a nice story to take us out of the news cycle of ai in math