Nördnytt! 🤓Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
twitter.com - 56 poäng - 12 kommentarer - 5574 sekunder sedan
Knuth Claude's Cycles note update: problem now fully solved, by LLMs - https://news.ycombinator.com/item?id=47306926 - March 2026 (2 comments)
https://chatgpt.com/share/69aaab4b-888c-8003-9a02-d1df80f9c7...
Claude's Cycles [pdf] - https://news.ycombinator.com/item?id=47230710 - March 2026 (362 comments)
Kommentarer (1)
- adrithmetiqa - 3204 sekunder sedanSuper interesting but what does this mean for us mere mortals?