4 ms·Claude solved it, Knuth developed the proof for the solution.by famouswaffles 8mo agoClaude solved it, Knuth developed the proof for the solution.