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:51PM (#47558424)
The ML techniques it uses are only about evaluation, but you were close
[ Parent | on HN ]

There are no comments on this comment yet.