4 ms·
An earlier submission (linked in another comment) had a descriptive title - something like ‘Anthropic Claude solves a Knuth conjecture’ - but the mods changed i
by WalterGR 8mo ago
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.