That’s fair. Clearly Knuth himself thought it was impressive, that’s a strong signal.
Claude did not find a proof, though. It found an algorithm which Knuth then proved was correct.
The companies aren’t changing anything. LLM outputs are just more random than people realize. Run the same prompt 10 times if you really want to know how well they can answer.
Counterpoint: What progress has generative linguistics made in the same amount of time that deep learning has been around? It sure doesn't seem to be working well. Also, the racecar example is because of tokenization in…
I think this is greatly complicated by the fact that the human brain has been "pre-trained" (in the deep learning sense) by hundreds of millions of years of evolution. A pre-trained LLM also can also learn new concepts…
That’s fair. Clearly Knuth himself thought it was impressive, that’s a strong signal.
Claude did not find a proof, though. It found an algorithm which Knuth then proved was correct.
The companies aren’t changing anything. LLM outputs are just more random than people realize. Run the same prompt 10 times if you really want to know how well they can answer.
Counterpoint: What progress has generative linguistics made in the same amount of time that deep learning has been around? It sure doesn't seem to be working well. Also, the racecar example is because of tokenization in…
I think this is greatly complicated by the fact that the human brain has been "pre-trained" (in the deep learning sense) by hundreds of millions of years of evolution. A pre-trained LLM also can also learn new concepts…