広告

クヌースの「Claude Cycles」問題に関するさらなる人間+AI+証明補助(プロップアシスタント)作業

Hacker News / 2026/3/29

📰 ニュースSignals & Early TrendsIdeas & Deep AnalysisModels & Research

要点

  • この記事は、クヌースの「Claude Cycles」問題の更新を報告しており、LLM(大規模言語モデル)を用いて現在は完全に解決されたと述べている

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: 157

# Comments: 107

広告