3 ms·
Knuth Claude's Cycles note update: problem now fully solved by LLMs
- fs123 7mo agoKnuth updated his 'Claude cycles' note with new spectacular developments. The remaining open problem was completely solved using LLMs, including proofs of correctness. See the Postpostscript section at the bottom of the note. Also note the 'Over and out' section.
- ChrisArchitect 7mo agoPre-update discussion: https://news.ycombinator.com/item?id=47230710 https://news.ycombinator.com/item?id=47230710