Disagree with these. Humans don’t automatically make all the facts in their head cohere.
Hm, do you see the OP as arguing that it happens “automatically”? My reading was more like that it happens “eventually, if motivated to figure it out” and that we don’t know how to “motivate” LLMs to be good at this in an efficient way (yet).
people (compsci undergrads and professional mathematicians alike) make errors in proofs
Sure, and would you hire those people and rely on them to do a good job BEFORE they learn better?
Hm, do you see the OP as arguing that it happens “automatically”? My reading was more like that it happens “eventually, if motivated to figure it out” and that we don’t know how to “motivate” LLMs to be good at this in an efficient way (yet).
Sure, and would you hire those people and rely on them to do a good job BEFORE they learn better?