3 ms·
More training data on advanced math. Lean is cool, but it's mostly about formalizing stuff we already know.
by blazespin 11mo ago
More training data on advanced math. Lean is cool, but it's mostly about formalizing stuff we already know.
- zaxioms 11mo agoOk I guess I could have told you that. What I really meant is that in the future where LLMs are doing new math (which I'm skeptical of, but I digress) I would not trust any of it unless it was formally verified.
- blazespin 11mo agoif you read the paper that is the intention, to guide stuff like lean. i don't think llm is a great pure rlvr