News for hackers. Stuff that matters.

A comment on Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem. Parent comment

Re:Further human + AI + proof assistant work on Knuth's "Cla... by Sopel on Saturday March 28, 2026 @05:54PM (#47558456)
chess is just a simple mathematical construct so that's not surprising
[ Parent | on HN ]

There are no comments on this comment yet.