Comment by OneManyNone 6 hours ago Claude did not find a proof, though. It found an algorithm which Knuth then proved was correct. 1 comment OneManyNone Reply CobrastanJorji 39 minutes ago Yes, and his point is that finding that algorithm was, to Knuth, the interesting part. Getting from that to a proof was the boring bit.
CobrastanJorji 39 minutes ago Yes, and his point is that finding that algorithm was, to Knuth, the interesting part. Getting from that to a proof was the boring bit.
Yes, and his point is that finding that algorithm was, to Knuth, the interesting part. Getting from that to a proof was the boring bit.