Knuth Names Paper After Claude That Solved His Math Conjecture
Claude Opus 4.6 solved a directed graph decomposition conjecture Knuth had worked on for weeks in 31 guided explorations over roughly an hour. Knuth wrote the formal proof himself and titled the paper 'Claude's Cycles.'