Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
AI
Description
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] -
Discovered
March 28, 2026
Added to Database
March 29, 2026
Notes
Discovered via hackernews search; 3 AI keyword matches; 1 startup keyword matches