← Back to context

Comment by OneManyNone

4 hours ago

Claude did not find a proof, though. It found an algorithm which Knuth then proved was correct.

0 comments

OneManyNone

Reply

No comments yet

Contribute on Hacker News ↗