undefined | Better HN

0 pointszaxioms3mo ago0 comments

Ok 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.

0 comments

blazespin3mo ago

if you read the paper that is the intention, to guide stuff like lean.

i don't think llm is a great pure rlvr

j / k navigate · click thread line to collapse

0 pointszaxioms3mo ago0 comments

Ok 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.

0 comments

blazespin3mo ago

if you read the paper that is the intention, to guide stuff like lean.

i don't think llm is a great pure rlvr

j / k navigate · click thread line to collapse