So I would like to know how it found the proof. Because it’s much more likely to have been plucked from an obscure record where the author didn’t realize this was special than to have been estimated on the fly.
replyThis makes LLMs incredibly powerful research tools, which can create the illusion of emergent capabilities.
Here's the PDF: https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cyc...
replyIt wasn't Knuth who used Claude, but his friend. Nevertheless, Knuth was quite impressed.
deleted
reply> as the space is already well covered
replyThe US patent commissioner in 1899 wanted to shutdown the patent office because "everything that can be invented has been invented." And yet, human ingenuity keeps proving otherwise.
There are lots of small innovations left. Only a few patents have ever been for revolutions. Small innovaions add up to big things.
replyThis is apocraphyl :(
replyYou could probably do it in a few days, C is not that hard to compile
replyClaude built an optimizer as well. (Not a great one) that takes a lot more. Yes I could lively brute force a C compiler that works much faster.
replyRight, and that was a design goal of C language... to be close to the machine.
replyYes, and I was responding to
reply> it would take a few years at least