28. March 2026
Further human + AI + proof assistant work on Knuth's Claude Cycles problem
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)
Comments URL: https://news.ycombinator.com/item?id=47557166
Points: 211