An earlier submission (linked in another comment) had a descriptive title - something like ‘Anthropic Claude solves a Knuth conjecture’ - but the mods changed it to the title in the PDF.