Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
Comments
Related tags
Companies and people
Story threads
Continue with this story
Follow the same topic through connected articles, entity pages, and active story threads.
Nothing new to see here
Comments
The first 40 months of the AI era
Comments
Linux is an interpreter
Comments
Ad slot
Article monetization slot
Reserved for contextual monetization inside article pages.
Related articles
More stories that share tags, source, or category context.
More from Hacker News
Fresh reporting and follow-up coverage from the same newsroom.