3 ms·
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 w
by coffeefirst 7mo ago
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.
This makes LLMs incredibly powerful research tools, which can create the illusion of emergent capabilities.
- my-next-account 7mo agoHere's the PDF: https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cyc... It wasn't Knuth who used Claude, but his friend. Nevertheless, Knuth was quite impressed.
- deleted 7mo ago[deleted]
- internet_points 7mo agoIf you read https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cyc... it was more of a guided effort to write a program to find examples that helped with moving the proof along