← Back to Feed

Rising1 sources· last seen 1d ago· first seen 1d ago

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

Lead: Hacker NewsBigness: 31furtherhumanproofassistantwork

Open primary source

📡 Coverage

10

1 news source

🟠 Hacker News

75

249 pts, 165 comments

🔴 Reddit

0

📈 Google Trends

0

Full methodology: How scoring works

Receipts (all sources)

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

HACKERNEWS · Hacker News · 1d ago · ▲ 249 · 💬 165

score 152