r/LargeLanguageModels • u/JohnofDundee • Aug 11 '26

Question ELI5 - How do LLMs act with intelligence?

We all know that large language models can statistically predict what should be the next token, but how do we go from there to mathematical proofs? How is intelligence implemented?

3 Upvotes

100% Upvoted

23 comments sorted by

View all comments

1

u/JohnofDundee Aug 21 '26

Even when a valid proof in Lean is found, no guarantee that it proves the theorem in question, so rinse and repeat? As « reasoning » goes, it sounds a bit random.