Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem

[mean_mistreater]

Knuth Claude's Cycles note update: problem now fully solved, by LLMs - Knuth Claude's Cycles note update: problem now fully solved, by LLMs | Hacker News - March 2026 (2 comments)
https://chatgpt.com/share/69aaab4b-888c-8003-9a02-d1df80f9c7...
Claude's Cycles [pdf] - Claude's Cycles [pdf] | Hacker News - March 2026 (362 comments)

---

Comments URL: Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem | Hacker News

Points: 97

# Comments: 62

Continue reading...