news.volyx.in

Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem (twitter.com)

261 points by mean_mistreater · 109 days ago · 184 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.