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: 193 # Comments: 124 [原文鏈接]

上一篇:

下一篇:

簡體中文 繁體中文 English