Reaction
The claim that LLMs will run out of work to recombine into new proofs
A user quotes the prediction about LLMs and new proofs, then comments, “Still not getting it.”
TLDR
A user quotes the claim that “LLMs will have no one’s work left to recombine into new proofs” and adds, “Still not getting it.” The post does not explain the objection.
Combined views
234
1 Source, first seen ago