← Back to feed Tech & Digital

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

Hacker News Best / 28 March 2026 / 18h ago

Culture Index

Score Breakdown

Relevance

3/25

Freshness

24/25

Authority

18/20

Brand Signal

13/15

Depth

3/15

5-Axis Cultural Radar

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-d1df80f

Read Full Article → Hacker News Best ↗

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

More in Tech & Digital

Q&A with YouTube CEO Neal Mohan on the platform's dominance, its impact on kids, the suspension and reinstatement of Trump's YouTube account, AI slop, and more (Lulu Garcia-Navarro/New York Times)

AI infrastructure on the front line: Lessons for Asean from the Iran war

A profile of Mark Lanier, a TX lawyer and part-time pastor who beat Meta and Google in the LA social media case and said Zuckerberg was "rattled" on the stand (Wall Street Journal)