AI Is Helping Historians With Their Latin